Re:The Helios microkernel
by jdub on Thursday June 16, 2022 @06:01AM
(#31764231)
A few thoughts:
- the seL4 team definitely works on user space stuff (see the rest of the repos in the seL4 organisation on GitHub), but it's very basic thus far. there is some design work going on to standardise some user space bits and pieces. but i don't think they're ever going to build an top-to-bottom opinionated operating system stack – that's for other people to do.
- it's not a solely academic exercise, it is being used in industry, but most of what everyone sees is the output of the research group, which gives it an academic sheen.
- the unfamiliar internals and implementation are driven by a fundamental difference between seL4 and almost all other kernels... it is verified.
- the seL4 team definitely works on user space stuff (see the rest of the repos in the seL4 organisation on GitHub), but it's very basic thus far. there is some design work going on to standardise some user space bits and pieces. but i don't think they're ever going to build an top-to-bottom opinionated operating system stack – that's for other people to do.
- it's not a solely academic exercise, it is being used in industry, but most of what everyone sees is the output of the research group, which gives it an academic sheen.
- the unfamiliar internals and implementation are driven by a fundamental difference between seL4 and almost all other kernels... it is verified.