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. _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
- [seL4] Re: SeL4 Source Code Documentation Isaac Beckett
- [seL4] Re: SeL4 Source Code Documentation Peter Chubb
- [seL4] Re: SeL4 Source Code Documentation Gerwin Klein
