Questions about L4 virtual machines

[ZhangEditing]

Hi!
 
I'm trying to port an OSEK OS to L4.
I know that a guest OS runs as a L4 process from Fiasco's point of view. But I have also noticed relevent APIs such as the l4vcpu_* family, VM API for SVM, VMX, and TZ, and the vCPU API of threads.
 
My questions are as follows:
1. What are the differences between a VM and an ordinary process?
2. Is it possible to run a guest OS without utilizing VM/vCPU APIs?
3. What does a guest OS have to do in order to run on L4Re and Fiasco? Is there a guide for doing this?
 
I'm new to L4 and probably need concrete instructions.
 
Thank you in advance! 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20120709/75ae232e/attachment.html>