Re: Want to run L4Re on Raspberry PI.
Adam Lackorzynski <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
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. Adam