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 (< felicianidani...@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.ch...@unsw.edu.au> ha scritto: > > > >>>>> "Daniele" == Daniele Feliciani <felicianidani...@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 > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems