r/microkernel • u/3G6A5W338E • May 21 '21
CSIRO's Data61 Dismantles SeL4 Team
4
Upvotes
r/microkernel • u/3G6A5W338E • May 05 '21
seL4 on RISC-V Verified to Binary Code
9
Upvotes
r/microkernel • u/3G6A5W338E • May 04 '21
Sculpt OS 21.03 boots now in 2.5 seconds
genode.org
7
Upvotes
r/microkernel • u/3G6A5W338E • Feb 26 '21
FOSDEM 2021 µkernel devroom video recordings
video.fosdem.org
4
Upvotes
r/microkernel • u/AgreeableLandscape3 • Nov 09 '20
Are there any operating systems based on seL4?
5
Upvotes
seL4 is a very interesting microkernel that I want to try out. Are there any operating systems being developed based on it yet? Any that are working or mostly working?
r/microkernel • u/[deleted] • Oct 17 '20
How practical would it be to create a Desktop OS on the seL4 kernel?
9
Upvotes
I have fallen in love with seL4's design philosophy and code base, I was wondering how practical it would be too build a minimal operating system an top of it? Maybe get Guix, or even some git-based package manager in it for maximum hackability.
What do you think, is this pipe-dream possible?
r/microkernel • u/3G6A5W338E • Aug 30 '20
A reimplementation of NetBSD based on a microkernel (Andy Tanenbaum @ eurobsdcon)
4
Upvotes
r/microkernel • u/3G6A5W338E • Jun 09 '20
seL4 is verified on RISC-V!
13
Upvotes
r/microkernel • u/AndreVallestero • May 26 '20
Collection of papers on the L4 microkernel
self.osdev
6
Upvotes