seL4 libplatsupport 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.