Want to run L4Re on Raspberry PI.

Adam Lackorzynski adam at os.inf.tu-dresden.de
Wed May 29 12:09:58 CEST 2019

On Tue May 28, 2019 at 21:21:41 +0000, Lei Zhou wrote:
> Thanks Paul for your prompt response.  I will give it try and see how it goes.    Regards,   Lei

One missing piece is probably that u-boot should be put on the rpi to
load the bootstrap.uimage.


More information about the l4-hackers mailing list