A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
16
stars
12
forks
source link
LLVM doesn't like __attribute__ ((format(printf... #79
Closed
wom-bat closed 5 months ago
So use format(printf... instead ... this works for LLVM and GnuC.