I’m trying build a PoC system based on the camkes-arm-vm repository. I saw the
init process is created using CapDL, but I’m having trouble to find the the
CapDL spec file. Could you please point it out for me? Also for the first step,
I’m trying to build another app side-by-side with the VMM and guest Linux. I
assume I need to modify the CapDL. I’m not exactly the work flow with CapDL can
you give me a hint? Thanks.
Devel mailing list