Questions about Fiasco.OC scheduler and L4Linux

Matthias Lange matthias.lange at
Mon Mar 27 15:24:59 CEST 2017


On 03/27/2017 03:12 PM, Marc CHALAND wrote:
> Hi
> Le mer. 22 mars 2017 à 00:59, Adam Lackorzynski
> <adam at <mailto:adam at>> a écrit :
>     With a i.MX7d you have hardware support for virtualization, so what
>     about using that, i.e. running normal Linux in a VM? Getting an L4Linux
>     for an older version is of course possible but a bit of work.
> Do you have any sample lua script to help me to set a linux vm up ?

Please have a look at conf/examples/l4lx.cfg in your l4 source
directory. This starts the L4Linux kernel and passes a couple of
arguments to the kernel such as memory size and the ramdisk name.


More information about the l4-hackers mailing list