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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
