"Hugo" == Hugo V C skydivebcn@gmail.com 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.