Dear seL4 community members,
I am trying to build and test multicore using seL4 on ARM QEMU setup but it fails to boot as below :
:~/sel4armsetup/build-arm-virt$ ./simulate
./simulate: QEMU command: qemu-system-aarch64 -machine virt -cpu cortex-a53 -nographic -m size=2G -kernel images/sel4test-driver-image-arm-qemu-arm-virt
ELF-loader started on CPU: ARM Ltd. Cortex-A53 r0p4
paddr=[40a4c000…40f57137]
No DTB passed in from boot loader.
Looking for DTB in CPIO archive…found at 40bacbe8.
Loaded DTB from 40bacbe8.
paddr=[4024c000…4024dfff]
ELF-loading image ‘kernel’ to 40000000
paddr=[40000000…4024bfff]
vaddr=[ffffff8040000000…ffffff804024bfff]
virt_entry=ffffff8040000000
ELF-loading image ‘sel4test-driver’ to 4024e000
paddr=[4024e000…40654fff]
vaddr=[400000…806fff]
virt_entry=40e700
Boot cpu id = 0x0, index=0
HVC is not supported for PSCI!
Failed to boot cpu 0x1: 18446744073709551615
abort() called.
Source code seL4 for ARM Qemu is taken from below link:
https://docs.sel4.systems/Hardware/MaaXBoard.html
If any other details are required , please let me know! Any input/guidance is appreciated.
Regards,
Vishal