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