[MirageOS-devel] Can one use malfunction with mirageos?

[Apostolis Xekoukoulotakis <apostolis.xekoukoulotakis@xxxxxxxxx>]

Hello, everyone, has anyone used malfunction (https://github.com/stedolan/malfunction)

to create a mirage unikernel?

malfunction creates either an executable or a ".cmx" file. (or possibly code in flambda, but this will require to fork malfunction.)

(I am trying to compile agda to malfunction and OCaml to eventually create a mirage unikernel.)

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/mirageos-devel