[seL4] Re: How to run seL4 on FVP?
Hi Indan, On Wed, 22 Nov 2023 at 16:16, Indan Zupancic wrote: > > Hello Hesham, > > On 2023-11-22 14:48, Hesham Almatary wrote: > > Cheers! Is there an FVP command line showing how to boot u-boot > > itself with any additional required flags? > > Follow FVP's documentation for that: > > https://developer.arm.com/documentation/100966/1123/Getting-Started-with-Fixed-Virtual-Platforms/Loading-and-running-an-application-on-an-FVP?lang=en > Yeah that simply doesn't work. So I was looking for a specific command line and setup that you use (and is known to work) so that I can reproduce. > I didn't realise that FVP is an emulator, I can't help > you further though, as I have no experience with it > myself. I guess it doesn't need U-boot. > > Good luck, > > Indan > ___ > Devel mailing list -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems ___ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
[seL4] Re: How to run seL4 on FVP?
Hello Hesham, On 2023-11-22 14:48, Hesham Almatary wrote: Cheers! Is there an FVP command line showing how to boot u-boot itself with any additional required flags? Follow FVP's documentation for that: https://developer.arm.com/documentation/100966/1123/Getting-Started-with-Fixed-Virtual-Platforms/Loading-and-running-an-application-on-an-FVP?lang=en I didn't realise that FVP is an emulator, I can't help you further though, as I have no experience with it myself. I guess it doesn't need U-boot. Good luck, Indan ___ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
[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 ___ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
[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 ___ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems