Hello Indan,
On Wed, 22 Nov 2023 at 14:40, Indan Zupancic <in...@nul.nu> 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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
