Haven’t directly tried it, bit it should work fine. Let us know if you run into any linking issues with the cmx.
Anil > On 3 Oct 2018, at 15:47, Apostolis Xekoukoulotakis > <[email protected]> wrote: > > Hello, everyone, has anyone used malfunction > (https://github.com/stedolan/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 > [email protected] > https://lists.xenproject.org/mailman/listinfo/mirageos-devel
_______________________________________________ MirageOS-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/mirageos-devel
