Could someone give a short explanation? I browsed through home page but I couldn't get a good picture of what it is.
Is it a new OS, without using the Linux kernel but still using GNU tools (I saw a lot of references to GCC, GNU binutils, etc.).
Is it a new OS, without using the Linux kernel but still using GNU tools (I saw a lot of references to GCC, GNU binutils, etc.).
https://os.inf.tu-dresden.de/papers_ps/nizza.pdf
http://www.perseus-os.org/content/pages/Architecture.htm
The NOVA microhypervisor, if compared to popular VMM's, is also illustrative of how high-assurance security applies minimalist, privilege-reducing design to the problem:
http://hypervisor.org/eurosys2010.pdf
Although I don't know Genode's assurances, most of the field also tries to make the assurance (confidence level) of the system as high as possible by using techniques that prove it has certain properties and/or rid it of as many vulnerabilities as possible. I have a list of historical and current methods here:
It also has a POSIX compatibility layer, hence the references you saw.
The best way is to browse through https://genode.org/documentation/genode-foundations/19.05/in...