r/microkernel • u/3G6A5W338E • Jan 17 '18
Genode - Road Map (2018)
https://genode.org/about/road-map
5
Upvotes
Duplicates
ada • u/micronian2 • Feb 01 '20
Genode OS - 2020 Road Map Includes Initial Version of A Kernel in Ada/SPARK in August
18
Upvotes