Hello, I've been having an issue with running sel4test according to the updated documentation, and shared my findings on the sel4 Discourse.
Expected Behavior: config.txt without the dtoverlay=disable-bt allows u-boot.bin to load on Raspberry Pi 4B 4GB.
Actual Behavior: u-boot.bin does not load.
Solution: Re-adding the line dtoverlay=disable-bt causes u-boot to load and get to the next phase, which is running sel4test on the PI 4B
Secondary issue:
Expected Behavior: Running sel4test with go 0x10000000 shows the testing over UART on serial0
Actual Behavior: No output is observed
Solution: Implementing the kernel patch mentioned in this revision of the documentation yields the sel4test outputting as expected and succeeding all tests over the UART on serial0
I'd be more than happy to continue discussion, contribute a PR to the documentation or kernel if necessary. Thank you!
Hello, I've been having an issue with running sel4test according to the updated documentation, and shared my findings on the sel4 Discourse.
Expected Behavior:
config.txtwithout thedtoverlay=disable-btallowsu-boot.binto load on Raspberry Pi 4B 4GB.Actual Behavior:
u-boot.bindoes not load.Solution: Re-adding the line
dtoverlay=disable-btcausesu-bootto load and get to the next phase, which is runningsel4teston the PI 4BSecondary issue:
Expected Behavior: Running
sel4testwithgo 0x10000000shows the testing over UART onserial0Actual Behavior: No output is observed
Solution: Implementing the kernel patch mentioned in this revision of the documentation yields the
sel4testoutputting as expected and succeeding all tests over the UART onserial0I'd be more than happy to continue discussion, contribute a PR to the documentation or kernel if necessary. Thank you!