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 <[email protected]> on behalf of Michael Neises <[email protected]> Sent: Saturday, October 12, 2019 5:47 AM To: [email protected] <[email protected]> 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
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
