Hello,
I have a problem on booting a CAmkES-VM with more than 150MB RAM.
The following error appears when I set [vm0.guest_ram_mb = 256] in the camkes
file of the minimal example of CAmkES-VM and boot the produced image on both
QEMU and real hardware system:
------------------------------------------------------------
...
vka_alloc_object_at_maybe_dev@object.h:64 Failed to allocate object of size
4096, error 1
alloc_bios_memory@acpi.c:119 Failed to allocate frame for bios addr 0xe0000
main_continued@main.c:871 [Cond failed: error]
Failed to init guest boot structure
------------------------------------------------------------
Please find the full output of the booting process in attachment file.
I also examined the effect of other parameters like
[vm0.simple_untyped23_pool] and [vm0.heap_size] but no difference was found.
Any help/hint would be very appreciated.
Best regards,
Hamed Ganji
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
