3 ms·
Where can I get the source for these to look at them? I'd like to know why they are all so long.
by gravypod 10y ago
Where can I get the source for these to look at them? I'd like to know why they are all so long.
- tom_mellior 10y agoHere's the famous verified one: https://github.com/seL4/seL4 https://github.com/seL4/seL4