heshamelmatary / libsel4platsupport Goto Github PK
View Code? Open in Web Editor NEWThis project forked from sel4proj/libsel4platsupport
Library of drivers for seL4 -- uses libplatsupport for OS independent functionality.
Home Page: http://sel4.systems
License: Other