Want to run L4Re on Raspberry PI.

[Paul Boddie]

On Tuesday 11. June 2019 00.08.59 Adam Lackorzynski wrote:
> 
> If it just reboots in the middle of a rather normal C function, then
> it's likely some instruction that has been generated there and not
> understood by the CPU. Could you maybe use u-boot as it shows a register
> dump when something like this happens, allowing to know where it
> branched away.

I think that introducing U-Boot may save me some time in the end, so I'll look 
into that. The Raspberry Pi stuff is rather alien to me, but I had hoped that 
there was an established recipe for getting things up and running.

Thanks for the suggestion!

Paul