<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">---------- Forwarded message ---------<br>From: <b class="gmail_sendername" dir="auto">Heiser, Gernot (Data61, Kensington NSW)</b> <span dir="auto"><<a href="mailto:Gernot.Heiser@data61.csiro.au">Gernot.Heiser@data61.csiro.au</a>></span><br>Date: Wed, 11 Mar 2020 at 03:48<br>Subject: [seL4] seL4 design principles<br>To: devel@sel4.systems <devel@sel4.systems><br></div><br><br>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.<br>
<br>
<a href="https://microkerneldude.wordpress.com/2020/03/11/sel4-design-principles/" rel="noreferrer" target="_blank">https://microkerneldude.wordpress.com/2020/03/11/sel4-design-principles/</a><br>
<br>
Gernot<br>
_______________________________________________<br>
Devel mailing list<br>
Devel@sel4.systems<br>
<a href="https://sel4.systems/lists/listinfo/devel" rel="noreferrer" target="_blank">https://sel4.systems/lists/listinfo/devel</a><br>
</div></div>