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
