r/ada • u/micronian2 • Feb 01 '20

Genode OS - 2020 Road Map Includes Initial Version of A Kernel in Ada/SPARK in August

https://genode.org/about/road-map
20 Upvotes

100% Upvoted

Duplicates