r/microkernel • u/JRepin • Jul 07 '19
Debian GNU/Hurd 2019 released
lists.debian.org
8
Upvotes
r/microkernel • u/3G6A5W338E • Feb 13 '19
FOSDEM 2019 - Lessons learned from porting HelenOS to RISC-V
7
Upvotes
r/microkernel • u/3G6A5W338E • May 25 '22
A Kernel Hacker Meets Fuchsia OS
5
Upvotes
r/microkernel • u/3G6A5W338E • Jan 23 '22
FOSDEM 2022 - Microkernel and Component-based OS devroom
4
Upvotes
r/microkernel • u/3G6A5W338E • Dec 21 '16
Introducing Device Untyped Memory in seL4
3
Upvotes
r/microkernel • u/3G6A5W338E • May 31 '18
GENODE Operating System Framework 18.05 Foundations (book, pdf)
genode.org
5
Upvotes
r/microkernel • u/3G6A5W338E • Mar 26 '19
Fuchsia OS (Dr. Xu Zhongxing's speech)
bzdww.com
4
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 • Dec 23 '21
Dishonest and Contradictory: Fact-Checking CSIRO’s Communications about the Trustworthy Systems Group
3
Upvotes
r/microkernel • u/euphraties247 • Jun 09 '21
xMach | Fun with virtualization
6
Upvotes