Hello everyone, I'm still encountering the same issue when trying to run the system according to the manual. I'm not sure if this problem has been resolved yet. How should I proceed to run it correctly? I used the following command: ../init-build.sh -DCAMKES_VM_APP=vm_minimal -DPLATFORM=qemu-arm-virt It reports an error: CMake Error at apps/Arm/vm_minimal/CMakeLists.txt:94 (message): Only AARCH64 is supported If I comment out the relevant code: --- a/apps/Arm/vm_minimal/CMakeLists.txt +++ b/apps/Arm/vm_minimal/CMakeLists.txt @@ -90,9 +90,9 @@ elseif("${KernelARMPlatform}" STREQUAL "qemu-arm-virt") # QEMU supports ARMv7/aarch32 and ARMv8/aarch32, but currently there are # Linux images for aarch64 only. However, it is unclear if that is the only # blocker to get this example run in QEMU on aarch32. - if(NOT KernelSel4ArchAarch64) - message(FATAL_ERROR "Only AARCH64 is supported") - endif() + # if(NOT KernelSel4ArchAarch64) + # message(FATAL_ERROR "Only AARCH64 is supported") + # endif() The compilation proceeds normally, but the following error still occurs during runtime: ./simulate: QEMU command: qemu-system-arm -machine virt,virtualization=on,highmem=off,secure=off -cpu cortex-a15 -nographic -m size=2048 -kernel images/capdl-loader-image-arm-qemu-arm-virt ELF-loader started on CPU: ARM Ltd. Cortex-A15 r4p0 paddr=[6141d000..626dd047] No DTB passed in from boot loader. Looking for DTB in CPIO archive...found at 6145eb20. Loaded DTB from 6145eb20. paddr=[60042000..60043fff] ELF-loading image 'kernel' to 60000000 paddr=[60000000..60041fff] vaddr=[e0000000..e0041fff] virt_entry=e0000000 ELF-loading image 'rootserver' to 60044000 paddr=[60044000..613fcfff] vaddr=[10000..13c8fff] virt_entry=18e10 Enabling hypervisor MMU and paging Jumping to kernel-image entry point... Bootstrapping kernel Warning: Could not infer GIC interrupt target ID, assuming 0. available phys memory regions: 1 [60000000..c0000000) reserved virt address space regions: 4 [e0000000..e0042000) [e0042000..e0043e84) [e0044000..e13fd000) [ff000000..ff200000) Booting all finished, dropped to user space <<seL4(CPU 0) [decodeUntypedInvocation/204 T0xffc13400 "rootserver" @106e0]: Untyped Retype: Insufficient memory (1 * 33554432 bytes needed, 0 bytes available).>> <<seL4(CPU 0) [decodeUntypedInvocation/204 T0xffc13400 "rootserver" @106e0]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 0 bytes available).>> <<seL4(CPU 0) [decodeUntypedInvocation/204 T0xffc13400 "rootserver" @106e0]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 0 bytes available).>> <<seL4(CPU 0) [decodeUntypedInvocation/204 T0xffc13400 "rootserver" @106e0]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0 bytes available).>> <<seL4(CPU 0) [decodeUntypedInvocation/204 T0xffc13400 "rootserver" @106e0]: Untyped Retype: Insufficient memory (1 * 65536 bytes needed, 0 bytes available).>> run@main.c:1332 Invalid 'num_vcpus' attribute setting: Exceeds maximum number of supported nodes. Capping value to CONFIG_MAX_NUM_NODES (1) clean_up@fdtgen.c:374 Non-existing node /platform@c000000 specified to be kept install_vm_devices@main.c:704 module name: map_frame_hack install_vm_devices@main.c:704 module name: init_ram Loading Kernel: 'linux' Loading Initrd: 'linux-initrd' Loading Generated DTB -------- Pagefault from [vm0]: read prefetch fault @ PC: 0x4 IPA: 0x4, FSR: 0x6 Context: r0: 0x0 r1: 0xffffffff r2: 0x4f000000 r3: 0x0 r4: 0x0 r5: 0x0 r6: 0x0 r7: 0x0 r8: 0x0 r9: 0x0 r10: 0x0 r11: 0x0 r12: 0x0 pc: 0x4 r14: 0x0 sp: 0x0 cpsr: 0x9b m-------- main_continued@main.c:1310 Failed to run VM Halting... QEMU: Terminated