Hi Michael,
We support using CakeML in a CAmkES component. We have a simple example application that shows how to create a CakeML component - https://github.com/seL4/camkes/tree/master/apps/cakeml_hello.
The README for the hello example describes what you need to do in order to build a CakeML CAmkES application.
Hope this helps, happy to answer any further questions.
________________________________
From: Devel