[Top] [All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • To: Apostolis Xekoukoulotakis <apostolis.xekoukoulotakis@xxxxxxxxx>
  • From: Anil Madhavapeddy <anil@xxxxxxxxxx>
  • Date: Wed, 3 Oct 2018 16:52:51 +0100
  • Cc: mirageos-devel@xxxxxxxxxxxxxxxxxxxx
  • Delivery-date: Wed, 03 Oct 2018 15:53:08 +0000
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=recoil.org; h=from :message-id:content-type:mime-version:subject:date:in-reply-to :cc:to:references; q=dns; s=selector1; b=dS6xuEkagHu/kCd0nQSPGfe /doxNHiXeVJL4pioNFXse8MX6LSCUGHiaEQ//tAgYlPdXcZ0wNK9R0Y7XF6+1Vdu dEncqZP1l95CmF7JnmWkBD1SJVHZZrFp3FhNgayRE1iykrhTBASkitKtEr/5yHgz InmI7nMXVFVJvrTTLsQU=
  • List-id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>
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 <apostolis.xekoukoulotakis@xxxxxxxxx> wrote:

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

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

 

©2013 Xen Project, A Linux Foundation Collaborative Project. All Rights Reserved.
Linux Foundation is a registered trademark of The Linux Foundation.
Xen Project is a trademark of The Linux Foundation.

Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.