A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
17
stars
14
forks
source link
Remove deferred notify from serial virt tx #199
Closed
Courtney3141 closed 1 month ago
Remove the potentially unsafe Microkit deferred notify from the serial virt tx