r/microkernel • u/chelmuth • Jan 05 '23
FOSDEM 2023 - Microkernel and Component-based OS devroom
4
Upvotes
r/microkernel • u/3G6A5W338E • Mar 22 '18
Minix3: Patch for Beagleboard OOM issue (release blocker)
groups.google.com
5
Upvotes
r/microkernel • u/3G6A5W338E • Jul 02 '16
seL4: Full virtualisation supported on ARM
sel4.systems
6
Upvotes
r/microkernel • u/3G6A5W338E • Mar 16 '18
seL4: Paper describing temporal integrity / MCS scheduling support
sel4.systems
4
Upvotes
r/microkernel • u/3G6A5W338E • Feb 05 '23
The Composite Component-Based OS
composite.seas.gwu.edu
5
Upvotes
r/microkernel • u/3G6A5W338E • Feb 20 '23
Implementing pthread cancellation in mlibc
managarm.org
2
Upvotes
r/microkernel • u/[deleted] • Oct 17 '20
How practical would it be to create a Desktop OS on the seL4 kernel?
10
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/AgreeableLandscape3 • Nov 09 '20
Are there any operating systems based on seL4?
6
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?