how to try out L4Ka in a virtual machine?

Chengqi Song <[email protected]> Mon, 25 Oct 2010 08:55:33 +0800
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
Hi,

I wonder how can I try L4Ka out in a virtual machine, is there any
image or guide?

thanks
lars