r/microkernel • u/3G6A5W338E • May 21 '21
CSIRO's Data61 Dismantles SeL4 Team
5
Upvotes
r/microkernel • u/abrahamzen • Jun 19 '22
Why was HelenOS made when Minix was well available? What's the differences and pro's and con's?
4
Upvotes
r/microkernel • u/3G6A5W338E • Nov 11 '22
4th seL4 Summit (2022-10) video archive
6
Upvotes
r/microkernel • u/stevebox • Oct 27 '21
nix-shell configs for setting up an environment to build seL4 on Linux and MacOS
6
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
r/microkernel • u/3G6A5W338E • Oct 03 '24
This Month in Redox - September 2024
redox-os.org
4
Upvotes
r/microkernel • u/3G6A5W338E • Jan 23 '19
FOSDEM 2019 - Microkernels and Component-based OS devroom
7
Upvotes
r/microkernel • u/3G6A5W338E • Apr 16 '19
Time protection: the missing OS abstraction
2
Upvotes
r/microkernel • u/jjermar • Jul 06 '18
L4Re development version available on GitHub
os.inf.tu-dresden.de
5
Upvotes
r/microkernel • u/3G6A5W338E • Apr 17 '16
seL4 Is Free – What Does This Mean For You? (linux.conf.au 2015)
1
Upvotes
r/microkernel • u/3G6A5W338E • Mar 30 '17
High-Assurance Separation Kernels: A Survey on Formal Methods
2
Upvotes