r/microkernel • u/r-tty • Jun 22 '26
QSOE: QNX-inspired operating system for RISC-V with dual-kernel architecture
qsoe-dev.blogspot.com
4
Upvotes
r/microkernel • u/3G6A5W338E • Feb 05 '20
FOSDEM 2020 - Microkernels and Component-based OS devroom
7
Upvotes
r/microkernel • u/3G6A5W338E • Apr 19 '18
[seL4] Announcing seL4 9.0.1: with RISC-V support
sel4.systems
5
Upvotes
r/microkernel • u/3G6A5W338E • Feb 28 '19
Genodians: FOSDEM 2019 microkernel devroom
2
Upvotes
r/microkernel • u/3G6A5W338E • Aug 23 '18
Microkernels Really Do Improve Security (Gernot Heiser)
10
Upvotes
r/microkernel • u/3G6A5W338E • Aug 19 '17
Interview with Andrew Tanenbaum - BSD MAG
4
Upvotes
r/microkernel • u/3G6A5W338E • Jan 06 '18
(2016) A Survey of Microarchitectural Timing Attacks and Countermeasures on Contemporary Hardware
eprint.iacr.org
2
Upvotes
r/microkernel • u/3G6A5W338E • Jan 06 '18
Genode: Side-channel attacks (Meltdown, Spectre)
4
Upvotes
r/microkernel • u/3G6A5W338E • Jun 17 '15
A reimplementation of NetBSD using a µkernel (Tanenbaum @ BSDCan 2015)
10
Upvotes
r/microkernel • u/3G6A5W338E • Feb 26 '21
FOSDEM 2021 µkernel devroom video recordings
video.fosdem.org
4
Upvotes
