News for hackers. Stuff that matters.

A comment on From L3 to seL4 what have we learnt in 20 years of L4 microkernels? [video]. Parent comment

Re:From L3 to seL4 what have we learnt in 20 years of L4 mic... by panick21_ on Monday April 15, 2024 @10:27AM (#40040961)
seL4 is still being worked on. There are recent changes to the wat time is tracked. I would say in terms of research seL4 is still up there. The current trend is very much on verification of user space and also verification chains down to RISC-V.
[ Parent | on HN ]
Re:From L3 to seL4 what have we learnt in 20 years of L4 mic... by wittystick on Monday April 15, 2024 @04:45PM (#40045340)
Probably the biggest development in seL4 since this is the MCS (mixed criticality systems) addition, which provides capabilities for budgeting CPU usage to give guarantees for components that need higher priority. There's some videos by Gernot Heiser on YouTube covering it.
[ Parent | on HN ]