On Tue, Mar 10, 2020, 7:47 PM Heiser, Gernot (Data61, Kensington NSW) < gernot.hei...@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 > _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
