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

Hello Indan, On Wed, 22 Nov 2023 at 14:40, Indan Zupancic wrote:

Hello Hesham,

On 2023-11-22 14:18, Hesham Almatary wrote:

...

I can build sel4test for FVP, how do I run it there? I couldn't find any documentation on that, would be great if someone could drop a command line and any required dependencies.

This page may be helpful:

https://docs.sel4.systems/Hardware/GeneralARM

When using Uboot, the main difference is that you would use bootelf to start seL4, instead of bootm for Linux.

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

Greetings,

Indan