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