Questions about L4 virtual machines
ZhangEditing <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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! _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers