Re: [seL4] Running 2 VM Linux on Camkes

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