Hi! > I am not sure what you mean here. Genode can already execute Linux > within a virtual machine (Seoul or VirtualBox) or as a paravirtualized > version on top of the Fiasco.OC kernel. If this is not sufficient, what > is your approach?
The problem in this approach is that the (virtualized) Linux instance is still running the same very insecure (if you ask me;) Linux kernel. Within the scope of the Linux kernel, there is nothing to limit the kind of hazards grsecurity is/was made to prevent. To reiterate, what I would like to see is Linux (and/or BSD) kernel running directly on top of genode. Yours, Jyri ------------------------------------------------------------------------------ _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
