[seL4] Re: Only 512mb ram available on capdl-loader-image-arm-qemu-arm-virt image

...

...

...

...

"Hugo" == Hugo V C writes:

Hugo> Hi Peter, I followed the steps you propose and got exactly the Hugo> same error message as Daniele: Unfortunately, there's not a lot of CAmkES knowledge left at UNSW. We've moved to use the seL4 Microkit and libvmm instead (at https://github.com/au-ts/libvmm ) because we could never get CAmkES to perform as well as it should have been able to, plus configuration was confusing. I'm hoping someone else on the list can help out. -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.