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

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. Greetings, Indan