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 devel-bounces@sel4.systems on behalf of Michael Neises neisesmichael@gmail.com Sent: Saturday, October 12, 2019 5:47 AM To: devel@sel4.systems 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