Hi Chris,
I have tried with 4GB, 6GB and 8GB RAM but nothing works. I have done
the changes only in 2 files, minimal.camkes and CMakeLists.txt. Is there
something that I am missing?
--
Thanks and Regards,
Amit Goyal
On 2019-01-08 21:16, Chris Guikema wrote:
Hello Amit,
I have successfully gotten two VMs running, so it is possible.
Your configuration looks good, but you have a lot of untyped
resources, and the heap, and the guest RAM to allocate. You've only
given your QEMU model 2GB of RAM to use. Could you try giving QEMU
4GB? The error you're getting is from the capdl loader, so it seems
like you've run out of memory to retype.
Let me know if you have any other questions, I'd be glad to help.
Chris Guikema
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
