Hello Visha, On 2024-10-14 09:08, Vishal Gupta wrote:
Can anyone please guide me , if seL4 supports multicore than for which version of ARM / board it currently supports , as I could see support for only Sabre-Arm32, which is ARMv7A.
Multicore support is mostly independent of the board, if the hardware supports multiple cores, you should be able to run an SMP configuration of seL4 on it.
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
The issue here is that Elfloader runs in a different EL level than expected and probably should use HVC to enable other cores. For more info, see: https://github.com/seL4/seL4/pull/1275 Elfloader is part of https://github.com/seL4/seL4_tools. You're triggering line: https://github.com/seL4/seL4_tools/blob/bef85f32a4829c5062fd6c808c7cab57b816... It's unclear why that check was added, it might just work if you remove it. (Next time please either email or post a message in Discourse/Github, but not both.) Greetings, Indan