How to Install L4Re

Matthias Lange matthias.lange at
Tue Feb 10 10:21:56 CET 2015


On 02/05/2015 07:37 PM, Jerry L wrote:
> Hi all,
> I want to install L4Re in my zedboard. Who can give me some information
> about how to do it. I searched online and did not find any useful
> information about it. Thank you very much.

I am not sure what you want to accomplish but if I assume that you boot
from SD card you need to configure the bootloader (u-boot?) to
automatically boot your L4Re image.


Matthias Lange, matthias.lange at, +49 - 351 - 41 88 86 14

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth

More information about the l4-hackers mailing list