On Mon, Jul 09, 2012 at 05:02:07PM +0800, ZhangEditing wrote:
2. Is it possible to run a guest OS without utilizing VM/vCPU APIs?
Yes. Earlier versions of L4Linux did that.
3. 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... -- Dipl.-Inf. Matthias Lange <mlange@sec.t-labs.tu-berlin.de> Security in Telecommunications TU Berlin / Telekom Innovation Laboratories Ernst-Reuter-Platz 7, 10587 Berlin Phone: +49 - 30 - 8353 58 553 Mobile: +49 - 160 - 587 28 07 Web: http://www.t-labs.tu-berlin.de/sect