j
k
j a
j l
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.
Show replies by date
devel@sel4.systems
Add to favorites Remove from favorites