RE: Need help on setting up L4 VM [beginner]

A quick suggestion on getting UP afterburner/pre-virtualization to work:

- Download the afterburner
- No need to download pistachio or IDL tools etc., the afterburner make script will download it
- check out and inspect the sample config.out files in afterburner/configs, e.g.,
  - choose sample-config.out if you'd like to have para-virtualized linux guests
  - choose sample-config-hvm.out if you'd like fully-virtualized guests (WARNING: WORK IN PROGRESS). Works only with Intel VMX
  - choose sample-config-vmext.out for para-virtualized linux guests with an enhanced version of L4 for better VM support (WARNING: WORK IN ROGRESS!)
- create a build directory, run "make -f path/to/afterburner/Makefile", copy your favorite sample config into "build/config.out", run "make menuconfig" to edit the settings, finally run "make world", which will produce binaries in "build/boot"
- make "run-qemu" runs the afterburner in qemu

The vmext branch has support for both virtual and physical SMP but that one is a development branch. Don't expect things to run smoothly there. Doing physical SMP it for the standard branch (sample-config.out) is fairly easy, however, you just migrate all L4 threads to a different processor via L4_Set_ProcessorNo().

-Jan


--
Jan Stoess
System Architecture Group
University of Karlsruhe
Phone: +49 (721) 608-4056
Fax: +49 (721) 608-7664
eMail: [email protected]


> -----Original Message-----
> From: [email protected] [mailto:[email protected]
> karlsruhe.de] On Behalf Of neohtm
> Sent: Thursday, August 21, 2008 12:40 AM
> To: [email protected]
> Subject: Need help on setting up L4 VM [beginner]
>
> Hi,
>
> I'm quite new to the L4Ka uKernel Virtualization Technology. As for
> your
> info, i'm working on a IA32 Quad Core system project by using the L4Ka
> Virtualization Technology.I would like to ask some questions regarding
> these for my project:
>
> 1. Is there any guide for me to set up a virtual machine with
> L4Ka:Pistachio?
>
> 2.I can see that there's a pre-virtualization with afterburning in the
> website. Can anyone explain more on that? How i can compile with
> afterburning?
>
>
> p/s: As for personally, i can see that there's a great work from the
> L4Ka:Pistachio team. But there's lack of information and guides inside
> the website. As you all may know that the OKL4 website is doing good
> with their wiki, i wonder if L4Ka would do the same too? So that we can
> share the information. I would volunteer myself to help to set up the
> wiki for L4Ka.
>
>
>
> regards,
> Neoh Tze Ming
> Malaysia
>