Questions about building Raspberry Pi image on SEL4

18 Sep 2019

      Hi,

I am Zhonghao Liao, a graduate student from Iowa State University. We are
doing a security related project and would like to deploy the code to the
SEL 4.
The hardware we use is Raspberry Pi 3 B+. We follow the tutorial here
<https://docs.sel4.systems/Hardware/Rpi3.html> and have successfully
loaded the SEL4 test image. We think the next step should be building the
image for the application and run it on the Raspberry Pi. We followed
the CAmKES
tutorial <https://docs.sel4.systems/CAmkES/> and tried to use the command:
../init-build.sh -DPLATFORM=sabre -DAARCH32=1 -DCAMKES_APP=adder
-DSIMULATION=1
to build the image for the  Raspberry Pi but we failed. In fact, we change
the settings.cmake file in the camkes-project folder and add "rpi3" at line
36:

set(valid_arm_platform
"am335x;sabre;kzm;exynos5410;exynos5422;tx1;tx2;zynq7000;rpi3")

and the command we used is:
../init-build.sh -DPLATFORM=rpi3-DAARCH32=1 -DCAMKES_APP=adder
-DSIMULATION=1
We did get an image but we cannot simulate using QEMU:

ninja:
Image Name:
Created:      Tue Sep 17 09:30:30 2019
Image Type:   ARM Linux Kernel Image (uncompressed)
Data Size:    2110464 Bytes = 2061.00 KiB = 2.01 MiB
Load Address: 0157c000
Entry Point:  0157c000

./simulate:
Unsupported platform or architecture for simulation

Also we tried to load the image into the RPi3 but we are also defeated:
bootelf {loadaddr}
## No elf image at address {loadaddr}

I think our problem is that we don't provide enough dependencies to support
building the RPi image. But we have no idea where to start. Could you
please give us any advice? Otherwise, If the CAmkES can not be used, how do
I build an application on SEL4 and run it on the Raspberry Pi?

Thanks for your patient and looking forward to your reply.

Thank you!

Best,
Zhonghao

Zhonghao Liao

Mcleod, Kent (Data61, Kensington NSW)

tags

participants (2)