[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Using binary libraries with MirageOS


  • To: Hadil Sabbagh <hadil.sabbagh@xxxxxxx>
  • From: Anil Madhavapeddy <anil@xxxxxxxxxx>
  • Date: Fri, 2 Feb 2018 11:08:55 +0000
  • Cc: mirageos-devel <mirageos-devel@xxxxxxxxxxxxxxxxxxxx>
  • Delivery-date: Fri, 02 Feb 2018 11:09:16 +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=HxfxHBmYeLbrAB0wUzVXRDP lOT90JnshtWHRC+jQ5KZKV04+9C9WlVZ6hCvTaqQFRjDZNGrfxBBjKpHMMkCSrGd jywe1GSYAlNX3eGnrqrdpb3MWfAlqqjapPap/kHKck1kdMlan646uX1elLx6TtTo Yg8rZ4UBffvex8e0nI1k=
  • List-id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>

Hi Hadil,

Mirage doesn’t have easy support for cross-compilation to the Xen or Solo5 backends now, but the good news is that work is progressing steadily to make that possible.

The new “jbuilder” build system has cross-compilation support in beta17 (which was merged into opam 10 minutes ago).  That in turn makes it possible to split out the various mirage-xen/solo5 libraries into co-installable cross-compiling variants, which will then make it easier to import external C libraries.

Rudi Grinberg (CCed) is working on a blog post about cross-compilation in Jbuilder (now renamed Dune), to follow up this post:

regards
Anil


On 1 Feb 2018, at 19:53, Hadil Sabbagh <hadil.sabbagh@xxxxxxx> wrote:

Along with my previous inquiry, I am interested in knowing how to handle application binary libraries that are installed into /usr/local/lib/*.so such as Argon2 with MirageOS.

Thanks,
Hadil G. Sabbagh, Ph.D.
602/501-3376
_______________________________________________
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

 


Rackspace

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