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.