[seL4] Re: SeL4 Source Code Documentation

[Isaac Beckett]

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 -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems