GitHub repository: seL4/libplatsupport
Primary language: C
Description: OS independent basic driver library (mostly timers, serial, clocks)