[seL4] Re: How to run seL4 on FVP?

Hello Hesham, On 2023-11-22 14:48, Hesham Almatary wrote:

Cheers! Is there an FVP command line showing how to boot u-boot itself with any additional required flags?

Follow FVP's documentation for that: https://developer.arm.com/documentation/100966/1123/Getting-Started-with-Fix... I didn't realise that FVP is an emulator, I can't help you further though, as I have no experience with it myself. I guess it doesn't need U-boot. Good luck, Indan