15:10 <mato> hannes: I'd like to start publishing initial releases of the Solo5 packages to OPAM soonish (since I go on holiday at the end of the week, and would like to have a initial Mirage/Solo5 release ticked off).

15:11 <hannes> mato: sure. I assume you want me to look into the entropy + nocrypto stuff?

15:11 <mato> hannes: Not sure if we can get the various FreeBSD bits sorted out in time, is that a blocker for you or are you happy with using pins for now?

15:12 <hannes> mato: we can push that to a later point. the main issue is the include file stuff..

15:13 <mato> hannes: Ah, right, shipping stdint and friends with solo5.

15:14 <hannes> mato: and I think that submoduling openlibm would be good... hate those network interactions during the build phase..

15:16 <mato> hannes: Ack. Ok, I'll do the submoduling (should be easy). Will look at the include file changes as well.

15:16 <hannes> mato: great! let me think and try about the nocrypto + entropy things (once I get my repos back into shape here...)

15:17 <mato> hannes: If you could take a look at what we can do with mirage-entropy and nocrypto, based on the changes I currently have, that'd be great.

15:21 <mato> hannes: I *think* the right thing to do there is to publish the mirage-entropy changes as a `mirage-entropy-freestanding` package (since it's not Solo5 specific). However, unless you want to go down the rabbit hole of moving the Xen backend to ocaml-freestanding, I see no way to avoid code duplication right now.

15:23 <mato> hannes: Anyway, my changes are https://github.com/mirage/mirage-entropy/compare/master...mato:solo5 and https://github.com/mirleft/ocaml-nocrypto/compare/master...mato:solo5

15:23 <hannes> mato: but.. didn't you just introduced in the ocaml-freestanding a dependency onto solo5?

15:23 <mato> hannes: Well, yes, since it's the only sysdeps implementation in ocaml-freestanding currently.

15:26 <hannes> mato: I don't want to go down the rabbit hole... how does a mirage-entropy-freestanding opam package sound to you which provides you with a) some OCaml code b) C stubs compiled for xen c) C stubs compiled for solo5? the OCaml code could be shared..

15:27 <hannes> (I guess I just have to try that approach and see whether it works fine... let me do that in the next 2 hours)

15:27 <ansiwen> where is the Alpine/Moby-based ARM distro that is mentioned here: http://canopy.mirage.io/

15:28 <mato> hannes: Hmm, wouldn't that mean the solo5 build would depend on mirage-xen-minios and friends due to the "common" entropy package?

15:28 <mato> hannes: Or would you do that via depopts?

15:28 <mato> hannes: Since in order to build the Xen stubs you need all of the minios bits installed in the switch...

15:28 <hannes> mato: depopt... let me see whether I can get somewhere

15:28 <mato> hannes: ok.

15:36 <hannes> hmm, too bad... the entropy_xen.ml already depends on mirage-xen to hook the reseeding