>>>>> "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
