Hello Indan,

On Wed, 22 Nov 2023 at 14:40, Indan Zupancic indan@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

Hi Indan,

On Wed, 22 Nov 2023 at 16:16, Indan Zupancic indan@nul.nu 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-Fix...

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