tyyteam / la-l4v Goto Github PK
View Code? Open in Web Editor NEWThis project forked from sel4/l4v
seL4 specification and proofs, see official repositories at https://github.com/seL4. Currently learning stuff at: tools/c-parser/standalone-parser/
Home Page: https://sel4.systems
License: Other