Basic OS-independent driver library, designed to run in user level on seL4.
Mostly contains support for timers, serial devices, clocks.
See LICENSE_BSD2.txt for license details.
SEL4PROJ/libplatsupport
DEPRECATED: This library has been moved to https://github.com/seL4/util_libs
CNOASSERTION