What model of the Raspberry Pi 4 do you have? Specifically how much RAM
does it have?
Currently seL4 assumes an 8GB model which means if you have a model with
less than 8GB you'll run into problems.
You can specify how much RAM your model has when building sel4test:
../init-build.sh -DPLATFORM=rpi4 -DAARCH64=1 -DRPI4_MEMORY=4096
This example is for the 4GB model but if you have another model you
should just be able to adjust the command to reflect how many megabytes
of memory your RPi4 has.
Ivan
On 13/10/23 17:57, [email protected] wrote:
[Some people who received this message don't often get email from
[email protected]. Learn why this is important at
https://aka.ms/LearnAboutSenderIdentification ]
Hello, i'm trying to upload seL4 ( seL4test-driver-image-bcm2711 image) on
raspberry pi 4 but i'm encountering two different errors:
1. If I follow the website procedure and upload the sel4test image into
the address 0x10000000 the error is : “Reading file would overwrite reserved
memory”
2. If I try to upload the image into 0x1000000 I read the following
error: “sel4 failed assertion ‘isSchedulable(candidate)’ at /kernel/thread.c
can someone help me?
Thanks
Daniele
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
