seL4_tools icon indicating copy to clipboard operation
seL4_tools copied to clipboard

Published 20 hours ago • verified publisher icon seL4

elfloader/cmake-tool support for RPi4

Open JoonasOnatsu opened this issue 2 years ago • 2 comments

This PR adds SMP support for RPi4 to elfloader.

JoonasOnatsu avatar Oct 27 '22 16:10 JoonasOnatsu

I am able to run seL4test on a RPi4 without any changes to the elfloader using the latest U-Boot, maybe older U-Boot versions did not support EFI images?

Ivan-Velickovic avatar Nov 08 '22 02:11 Ivan-Velickovic

I am able to run seL4test on a RPi4 without any changes to the elfloader using the latest U-Boot, maybe older U-Boot versions did not support EFI images?

Hi Ivan, thanks for your comment. I also tested with the latest U-Boot, and it seems that you are correct and the image can be booted with 'bootefi'. I think I had something misconfigured before, and I couldn't boot the image.

I removed the commit for changing the image type.

JoonasOnatsu avatar Nov 23 '22 19:11 JoonasOnatsu