Add a CAmkES component for Phoma silos
CAmkES is the static system generator/framework built by Data61. Phoma silos can slot naturally into that with a somewhat modified boot process.
This should be done after Phoma is pretty far along. We'll need a separate init process for supporting starting from CAmkES's static CapDL configuration.
Phoma will be easily usable as a dynamic component in any seL4-based CAmkES systems, potentially replacing a Linux VM for some purposes.
Some more complexity with init.