Questions about Fiasco.OC scheduler and L4Linux

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


Hi,

On 03/27/2017 03:12 PM, Marc CHALAND wrote:
> Hi
> 
> Le mer. 22 mars 2017 à 00:59, Adam Lackorzynski
> <adam at os.inf.tu-dresden.de <mailto:adam at os.inf.tu-dresden.de>> 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.

Best,
Matthias.



More information about the l4-hackers mailing list