top | item 35843363 (no title) exsf0859 | 2 years ago Google's Fuchsia OS uses a microkernel: https://fuchsia.dev/fuchsia-src/concepts/kernel discuss order hn newest junon|2 years ago Microkernels by themselves are not special; SeL4 is because it's proven to be secure. senko|2 years ago SeL4 is a very interesting kernel even without taking the proof into account (eg in platforms/builds that the proof doesn't cover).I wish someone would build a beyond-posix desktop OS on top of it... load replies (2) kjs3|2 years ago It's proven correct against specification. That's not the same thing as 'secure' (although it helps). load replies (1)
junon|2 years ago Microkernels by themselves are not special; SeL4 is because it's proven to be secure. senko|2 years ago SeL4 is a very interesting kernel even without taking the proof into account (eg in platforms/builds that the proof doesn't cover).I wish someone would build a beyond-posix desktop OS on top of it... load replies (2) kjs3|2 years ago It's proven correct against specification. That's not the same thing as 'secure' (although it helps). load replies (1)
senko|2 years ago SeL4 is a very interesting kernel even without taking the proof into account (eg in platforms/builds that the proof doesn't cover).I wish someone would build a beyond-posix desktop OS on top of it... load replies (2)
kjs3|2 years ago It's proven correct against specification. That's not the same thing as 'secure' (although it helps). load replies (1)
junon|2 years ago
senko|2 years ago
I wish someone would build a beyond-posix desktop OS on top of it...
kjs3|2 years ago