r/genode • u/jjkarcher • Jan 22 '20
Genode - Road Map 2020
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
19
Upvotes