The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads.
It has the ability to use different kernels. It can also use the device drivers of the linux kernel in usermode.
Device-Driver-Environment Kit API
Sculpt OS
Metadata
- suggesters: @Apostolis
- curators: