Re: [MirageOS-devel] how to link c stubs to xen unikernels ?

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

This is mostly true, except for very deep stubs such as zarith or uint that provide specific functionality that we do need.  The xen_cflags should let us do that in the latest releases of Mirage, and we're just missing some build plumbing to enable it.

-anil

On 19 Dec 2014, at 13:17, Brian Brietzke <bbrietzke@xxxxxxxxx> wrote:

I don't think you can link to the external libraries in the xen based unikernels.

The unikernels are designed to be self-contained little universes. Everything has to be embedded in there. Which, unfortunately means that you can't link to third-party libraries, linking to stubs or other things.

I asked a similar question earlier this month.  The conversation is http://lists.xenproject.org/archives/html/mirageos-devel/2014-12/msg00063.html.

In other words, the expectation is that the code for the xen unikernels is to be OCaml based with out having to worry anything C related, unless you can port that C code to work inside of MinOs.

On Fri, Dec 19, 2014 at 1:41 PM, Nicolas Ojeda Bar <no263@xxxxxxxxxxxxxxx> wrote:

Hi list,

I have a unikernel that uses the `uint` package (which is implemented
in C).  I can compile and run fine on Unix, but when compiling for Xen
I get linking errors because the uint C stubs are not getting linked
to the unikernel...

It would be great if someone could explain what is involved in getting
C stubs linked to Xen unikernels, whether it is a reasonable thing to
do, the standard way to do it, etc...

Thanks!

Best wishes,
Nicolas

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

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

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