Re: Questions about Fiasco.OC scheduler and L4Linux
Matthias Lange <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi, On 03/27/2017 03:12 PM, Marc CHALAND wrote: > Hi > > Le mer. 22 mars 2017 à 00:59, Adam Lackorzynski > <[email protected] <mailto:[email protected]>> 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. _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers