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 on behalf of Michael Neises Sent: Saturday, October 12, 2019 5:47 AM To: devel@sel4.systems Subject: [seL4] CAmkES languages Hi, I have an application written in CakeML that I would like to include in a CAmkES component, but all the documentation I can find only uses C code. Is it possible to use a non-C language as source for a CAmkES component? If so, how can I accomplish this? Best, Michael Neises