L4VM: Which VM can be tested?

Hi, Jan Stoess!

 

First, thank you for the last reply! It helps.

 

I want to test L4VM, so I compiled pistachio kernel and marzipan. However,
the web page 

"Running the Resource Monitor" only says that if the list of modules is
defined by GRUB

, marzipan scans it and makes virtual machines(VMs).

 

I want to test VMs with marzipan, then what modules can I use? l4linux?

 

1.     Could you give me some test examples or documents on L4
Virtualization Environment?

2.     Your team doesn't longer research on L4 VM with Marzipan??
Instead of it, pre-virtualization is more serious project?? Right??

 

Hope to get answers.

Thank you for your reading.