[MirageOS-devel] Including a C Library in a Mirage Xen Kernel

[James Bielman <jamesjb@xxxxxxxxxxx>]

Hi all,

I'm using Mirage to build a Xen kernel, and would like to include a C
library compiled against the Mirage runtime (along with OCaml stubs for it).

My question is about the build process, especially when installing via
OPAM.  mirage-platform doesn't seem to install the headers for its
dietlibc anywhere that a dependent project can find them.

I could require a user to have a checkout of mirage-platform at hand to
build, but that feels awkward when previously everything could be
installed via OPAM except for the kernel itself (which builds with mirari).

Does anyone have any recommendations about how to export build
dependencies like header files (and also matching the CFLAGS/LDFLAGS
used for the Mirage runtime would be nice to have as well).

Thanks!
James

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

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