[seL4] How to enable SMP on qemu-arm-virt

Hello cool guys,

I'm trying SEL4 using qemu-arm-virt platform with command： ../init-build.sh -DPLATFORM=qemu-arm-virt -DSIMULATION=true I noticed that SMP was not enabled by default, so I added: set(KernelMaxNumNodes "4") into kernel\src\plat\qemu-arm-virt\config.cmake. After running it with command ./simulate , I got the following error log and seL4 refused to continue: HVC is not supported for PSCI!

My question is how shall I change the build scripts in order to run seL4 with SMP on qemu-arm-virt platform.

Regards