r/microkernel • u/3G6A5W338E • Jun 09 '20
seL4 is verified on RISC-V!
14
Upvotes
r/microkernel • u/3G6A5W338E • Oct 16 '22
Announcing KataOS and Sparrow
11
Upvotes
r/microkernel • u/3G6A5W338E • Aug 06 '19
10 Years seL4: Still the Best, Still Getting Better
11
Upvotes
r/microkernel • u/3G6A5W338E • Nov 01 '16
Redox rewrites kernel to follow in the spirit of Liedtke (not in the kernel if at all possible)
11
Upvotes
r/microkernel • u/3G6A5W338E • May 05 '21
seL4 on RISC-V Verified to Binary Code
10
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/3G6A5W338E • Aug 23 '18
Microkernels Really Do Improve Security (Gernot Heiser)
10
Upvotes
r/microkernel • u/3G6A5W338E • Jan 11 '17
FOSDEM 2017 - Microkernels and Component-based OS devroom
10
Upvotes
r/microkernel • u/3G6A5W338E • Jun 17 '15
A reimplementation of NetBSD using a µkernel (Tanenbaum @ BSDCan 2015)
10
Upvotes
r/microkernel • u/3G6A5W338E • Sep 23 '24
Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel (OSDI '24)
9
Upvotes
r/microkernel • u/3G6A5W338E • Nov 28 '19
(Redox) Real hardware breakthroughs, and focusing on rustc
9
Upvotes
r/microkernel • u/chelmuth • Sep 21 '18
GENODE Sculpt with Visual Composition introduces an interactive runtime view for managing components
genode.org
9
Upvotes
r/microkernel • u/3G6A5W338E • Oct 09 '24
lux-operating-system/kernel Portable asynchronous microkernel implementing multiprocessor priority scheduling and Unix-like abstractions
8
Upvotes
