Where can I get the source for these to look at them? I'd like to know why they are all so long.
Here's the famous verified one: https://github.com/seL4/seL4
Where can I get the source for these to look at them? I'd like to know why they are all so long.