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