[lugm.org] Fwd: [seL4] seL4 design principles

[Jheengut Pritvi]

---------- Forwarded message ---------
From: Heiser, Gernot (Data61, Kensington NSW) <Gernot.Heiser at data61.csiro.au
>
Date: Wed, 11 Mar 2020 at 03:48
Subject: [seL4] seL4 design principles
To: devel at sel4.systems <devel at sel4.systems>


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
_______________________________________________
Devel mailing list
Devel at sel4.systems
https://sel4.systems/lists/listinfo/devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://discuss.lugm.org/pipermail/discuss_discuss.lugm.org/attachments/20200314/3fe5e336/attachment.html>