Library of drivers for seL4 -- uses libplatsupport for OS independent functionality.