"Daniele" == Daniele Feliciani felicianidaniele@gmail.com writes:
Daniele> Hello Peter, I have the same Daniele> problem. i tried to change the guest ram value to Daniele> 0x40000000. I added set(QEMU_MEMORY "2048") in config.cmake Daniele> but I get the following errors while running : " Daniele> map_vm_memory_reservation@guest_memory.c:477 Failed to get Daniele> frame for reservation address 0x60000000" and " Daniele> vm_ram_touch@guest_ram.c:165 Failed to touch ram region: Not Daniele> registered RAM region 32 bit ARM insts not decoded"
Check the size of the MMIO region. By default it uses 29 bits; for a 2G region you need 31 bits.
In the devices.camkes file, in the untyped_mmios section. There's probably an entry, "0x40000000:29", try increasing this to "0x40000000:31" to get a 2^31 region.
I changed the value but now i have the following error:
./simulate: QEMU command: qemu-system-aarch64 -machine virt,virtualization=on,highmem=off,secure=off -cpu cortex-a53 -nographic -m size=2048 -kernel images/capdl-loader-image-arm-qemu-arm-virt ELF-loader started on CPU: ARM Ltd. Cortex-A53 r0p4 paddr=[61b07000..62ee00b7] No DTB passed in from boot loader. Looking for DTB in CPIO archive...found at 61c07c68. Loaded DTB from 61c07c68. paddr=[60242000..60243fff] ELF-loading image 'kernel' to 60000000 paddr=[60000000..60241fff] vaddr=[8060000000..8060241fff] virt_entry=8060000000 ELF-loading image 'capdl-loader' to 60244000 paddr=[60244000..6170cfff] vaddr=[400000..18c8fff] virt_entry=408d88 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: 3 [8060000000..8060242000] [8060242000..8060243e40] [8060244000..806170d000] Booting all finished, dropped to user space create_object@main.c:679 [Cond failed: err != seL4_NoError] Failed to find device frame/untyped at paddr = 0x40000000 seL4 root server abort()ed Debug halt syscall from user thread 0x80bf813400 "rootserver" halting... Kernel entry via Unknown syscall, word: 1
Il giorno lun 25 mar 2024 alle ore 10:22 Peter Chubb < peter.chubb@unsw.edu.au> ha scritto:
"Daniele" == Daniele Feliciani felicianidaniele@gmail.com writes:
Daniele> Hello Peter, I have the same Daniele> problem. i tried to change the guest ram value to Daniele> 0x40000000. I added set(QEMU_MEMORY "2048") in config.cmake Daniele> but I get the following errors while running : " Daniele> map_vm_memory_reservation@guest_memory.c:477 Failed to get Daniele> frame for reservation address 0x60000000" and " Daniele> vm_ram_touch@guest_ram.c:165 Failed to touch ram region: Not Daniele> registered RAM region 32 bit ARM insts not decoded"
Check the size of the MMIO region. By default it uses 29 bits; for a 2G region you need 31 bits.
In the devices.camkes file, in the untyped_mmios section. There's probably an entry, "0x40000000:29", try increasing this to "0x40000000:31" to get a 2^31 region.
-- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.
Hi Peter, I followed the steps you propose and got exactly the same error message as Daniele:
Booting all finished, dropped to user space create_object@main.c:679 [Cond failed: err != seL4_NoError] (...) halting... Kernel entry via Unknown syscall, word: 1
El lun, 25 mar 2024 a las 10:44, Daniele Feliciani (< felicianidaniele@gmail.com>) escribió:
I changed the value but now i have the following error:
./simulate: QEMU command: qemu-system-aarch64 -machine virt,virtualization=on,highmem=off,secure=off -cpu cortex-a53 -nographic -m size=2048 -kernel images/capdl-loader-image-arm-qemu-arm-virt ELF-loader started on CPU: ARM Ltd. Cortex-A53 r0p4 paddr=[61b07000..62ee00b7] No DTB passed in from boot loader. Looking for DTB in CPIO archive...found at 61c07c68. Loaded DTB from 61c07c68. paddr=[60242000..60243fff] ELF-loading image 'kernel' to 60000000 paddr=[60000000..60241fff] vaddr=[8060000000..8060241fff] virt_entry=8060000000 ELF-loading image 'capdl-loader' to 60244000 paddr=[60244000..6170cfff] vaddr=[400000..18c8fff] virt_entry=408d88 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: 3 [8060000000..8060242000] [8060242000..8060243e40] [8060244000..806170d000] Booting all finished, dropped to user space create_object@main.c:679 [Cond failed: err != seL4_NoError] Failed to find device frame/untyped at paddr = 0x40000000 seL4 root server abort()ed Debug halt syscall from user thread 0x80bf813400 "rootserver" halting... Kernel entry via Unknown syscall, word: 1
Il giorno lun 25 mar 2024 alle ore 10:22 Peter Chubb < peter.chubb@unsw.edu.au> ha scritto:
> "Daniele" == Daniele Feliciani felicianidaniele@gmail.com
writes:
Daniele> Hello Peter, I have the same Daniele> problem. i tried to change the guest ram value to Daniele> 0x40000000. I added set(QEMU_MEMORY "2048") in config.cmake Daniele> but I get the following errors while running : " Daniele> map_vm_memory_reservation@guest_memory.c:477 Failed to get Daniele> frame for reservation address 0x60000000" and " Daniele> vm_ram_touch@guest_ram.c:165 Failed to touch ram region: Not Daniele> registered RAM region 32 bit ARM insts not decoded"
Check the size of the MMIO region. By default it uses 29 bits; for a 2G region you need 31 bits.
In the devices.camkes file, in the untyped_mmios section. There's probably an entry, "0x40000000:29", try increasing this to "0x40000000:31" to get a 2^31 region.
-- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.
Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
"Hugo" == Hugo V C skydivebcn@gmail.com writes:
Hugo> Hi Peter, I followed the steps you propose and got exactly the Hugo> same error message as Daniele:
Unfortunately, there's not a lot of CAmkES knowledge left at UNSW. We've moved to use the seL4 Microkit and libvmm instead (at https://github.com/au-ts/libvmm ) because we could never get CAmkES to perform as well as it should have been able to, plus configuration was confusing.
I'm hoping someone else on the list can help out.
-
Daniele Feliciani -
Hugo V.C. -
Peter Chubb