Genode OS Framework - tool kit for building highly secure special-purpose operating systems

projects software
1

https://genode.org/

1 Like