On Mon, Jul 09, 2012 at 05:02:07PM +0800, ZhangEditing wrote:
- Is it possible to run a guest OS without utilizing VM/vCPU APIs?
Yes. Earlier versions of L4Linux did that.
- What does a guest OS have to do in order to run on L4Re and Fiasco? Is there a guide for doing this?
Maybe you should start reading the master thesis on how OpenBSD was ported to Fiasco.OC (Porting OpenBSD to Fiasco [1]).
Matthias.
[1] http://www.isti.tu-berlin.de/security_in_telecommunications/menue/teaching/d...