Re: SeL4 Source Code Documentation
20 Jun
2022
20 Jun
'22
2:03 p.m.
Are those Haskell sources used to generate the C code, or are they an older version of the spec, or something? This is my first time hearing of them, so not sure what they’re used for.
1374
Age (days ago)
1374
Last active (days ago)
2 comments
3 participants
participants (3)
-
Gerwin Klein -
Isaac Beckett -
Peter Chubb