L4re with L4Linux

Daniel (Xiaolong) Wang xiaolongw at mail.usf.edu
Tue Jun 20 21:00:37 CEST 2017

Previous message (by thread): l4linux: l4x_setup_memory:Cant get main memory
Next message (by thread): L4re and L4Linux Compatible issue
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi all,

I’m new to L4re. I would like to use L4re as a microvisor and run L4linux VM. Is there any tutorial shows how to build the system like that?

Thanks
-Dan

Previous message (by thread): l4linux: l4x_setup_memory:Cant get main memory
Next message (by thread): L4re and L4Linux Compatible issue
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the l4-hackers mailing list