A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
23
stars
18
forks
source link
serial/virtio: Update names of patched variables #272
Closed
alwin-joshy closed 1 month ago
Just updating this so the example workks.