Hi,All
I am trying to build the seL4 VMM example for the qemu-arm-virt platform
from seL4/camkes-vm-exmaples.  I can build the vmm image successfully, but
I cannot run the image. Here are what I did:
1. I use the "../init-build.sh -DCAMKES_VM_APP=vm_minimal
-DPLATFORM=qemu-arm-virt" command.
2. ninja
After these two steps, the vmm image, capdl-loader-image-arm-qemu-arm-virt
is successfully built.  But when I run the generated scripts, ./simulate,
to run the VMM on qemu, the vmm fails to boot up. The error message is
attached below.

I use Ubuntu 20.04 and QEMU emulator version 4.2.1. Do I miss something
here? Do I use the correct version of the building environment? Any help
would be appreciated!

./simulate

./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 r2p1

  paddr=[61805000..62c02ebf]

No DTB passed in from boot loader.

Looking for DTB in CPIO archive...found at 6192264c.

Loaded DTB from 6192264c.

   paddr=[60042000..60043fff]

ELF-loading image 'kernel' to 60000000

  paddr=[60000000..60041fff]

  vaddr=[e0000000..e0041fff]

  virt_entry=e0000000

ELF-loading image 'capdl-loader' to 60044000

  paddr=[60044000..6140cfff]

  vaddr=[10000..13d8fff]

  virt_entry=1880c

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..e0043da9]

  [e0044000..e140d000]

  [ff000000..ff200000]

Booting all finished, dropped to user space

*<<*seL4(CPU 0)* [decodeUntypedInvocation/205 T0xffc13400 "rootserver"
@1070c]: Untyped Retype: Insufficient memory (1 * 33554432 bytes needed, 0
bytes available).>>*

*<<*seL4(CPU 0)* [decodeUntypedInvocation/205 T0xffc13400 "rootserver"
@1070c]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 0
bytes available).>>*

*<<*seL4(CPU 0)* [decodeUntypedInvocation/205 T0xffc13400 "rootserver"
@1070c]: Untyped Retype: Insufficient memory (1 * 16777216 bytes needed, 0
bytes available).>>*

*<<*seL4(CPU 0)* [decodeUntypedInvocation/205 T0xffc13400 "rootserver"
@1070c]: Untyped Retype: Insufficient memory (1 * 2097152 bytes needed, 0
bytes available).>>*

*<<*seL4(CPU 0)* [decodeUntypedInvocation/205 T0xffc13400 "rootserver"
@1070c]: 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)

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...
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems

Reply via email to