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).>>
[email protected]:1332 Invalid 'num_vcpus' attribute setting: Exceeds maximum number
of supported nodes. Capping value to CONFIG_MAX_NUM_NODES (1)
[email protected]:374 Non-existing node /platform@c000000 specified to be kept
[email protected]:704 module name: map_frame_hack
[email protected]: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--------
[email protected]:1310 Failed to run VM
Halting...
QEMU: Terminated
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
