11 Mar
2020
11 Mar
'20
10:46 a.m.
I’ve just posted a blog that tries to explain why de do things the way we de in seL4, and why we don’t do some other things, such as hardware abstraction. I hope this helps people understand better which kind of kernel changes are acceptable and which aren’t, and why the API isn’t designed for ease of use. https://microkerneldude.wordpress.com/2020/03/11/sel4-design-principles/ Gernot
2202
Age (days ago)
2206
Last active (days ago)
4 comments
3 participants
participants (3)
-
Demi M. Obenour -
Demi Obenour
-
Heiser, Gernot (Data61, Kensington NSW)