Kernel.nw: version 10

Author: aryx

kernel/lineage.txt

@@ -317,7 +317,7 @@ Linux 5.0
 *Plan 9
   1993
   UNIX V10
-  SY:2
+  SY:1
   # kernel is called 9
 
 *Inferno
@@ -462,6 +462,7 @@ tvOS
 
 Fuchsia
   2016
+  L4
   # Google, Zircon microkernel, capability-based, shipped on Nest Hub
 
 # ------------
@@ -520,6 +521,7 @@ NuttX
 
 HelenOS
   2005
+  Mach
   # microkernel multiserver OS, Czech research project
 
 ReactOS
@@ -599,7 +601,7 @@ SPIN
   1994
   # UW, kernel extensibility via Modula-3
 
-Exokernel
+*Exokernel
   1995
   # MIT, Dawson Engler, minimal kernel exporting hardware resources directly
 
@@ -628,6 +630,32 @@ Hubris
   2021
   # Oxide Computer, Rust-based embedded RTOS
 
+*MirageOS
+  2013
+  # Cambridge, OCaml unikernel, popularized unikernel concept for cloud
+
+IncludeOS
+  2015
+  # C++ unikernel for cloud services, zero-overhead OS library
+
+*Rumprun
+  2014
+  NetBSD
+  # Antti Kantee, rump kernels: run NetBSD drivers in userspace/bare metal
+
+Biscuit
+  2018
+  UNIX
+  # MIT, POSIX kernel in Go, SOSP paper on GC-in-kernel tradeoffs
+
+RedLeaf
+  2020
+  # UC Irvine, Rust OS exploring language safety for kernel isolation
+
+CertiKOS
+  2016
+  # Yale, Zhong Shao, formally verified concurrent OS kernel
+
 #--------------------------------------------------------------------------
 # Exotic
 #--------------------------------------------------------------------------
@@ -644,12 +672,19 @@ sel4
 #sel4 open source
 #  2012
 
-Redox
+*Redox
   2015
-  # Rust-based microkernel OS
+  Plan 9,Minix 3.0
+  # Rust-based microkernel OS, explicitly cites Plan 9 (URL schemes) and Minix (microkernel)
+
+*Asterinas
+  2023
+  Linux
+  # Rust framekernel, Linux ABI compatible, new kernel organization approach
 
 SerenityOS
   2018
+  UNIX
   # Andreas Kling, hobby OS with retro 90s desktop feel
 
 #--------------------------------------------------------------------------

kernel/mkfile

@@ -2,7 +2,7 @@ TOP=..
 
 SYNCFLAGS=-md5sum_in_auxfile -less_marks -lang C
 
-VERSION=9
+VERSION=10
 DOC=Kernel
 
 # must be in the same order than the #include in $DOC.nw for syncweb to work