On Tue, Mar 10, 2020, 7:47 PM Heiser, Gernot (Data61, Kensington NSW) < Gernot.Heiser@data61.csiro.au> wrote:
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
1. Are high-level, hardware-independant libraries that wrap the low-level API planned? 2. Will it be possible to build a conventional (from an application perspective) OS on top of a multikernel, such that the application does not need to be aware that it is running on a multikernel? 3. What are the broken parts of POSIX mentioned? Sincerely, Demi