09:26 <miragebot> [mirage] avsm pushed 4 new commits to master: https://git.io/vKwj6

09:26 <miragebot> mirage/master a7db161 Hannes Mehnert: link libgcc.a only on ARM, not on X86

09:26 <miragebot> mirage/master c20db8f Hannes Mehnert: also move pkg-config call to EXTRA_LD_FLAGS

09:26 <miragebot> mirage/master 21fc794 Hannes Mehnert: move additional ld flags into a Makefile variable...

09:47 <hannes> mato: I commented on the issue... my current plan is to go ahead and move mirage-entropy-xen to topkg which will ease the addition of mirage-entropy-solo5 (in the same repo, different package), avoiding code duplication.. today at IETF meeting, but will hopefully finish that tonight (and send a PR to solo5-opam repo)

10:07 <mato> hannes: Thanks. I just commented on the header file issue, unfortunately not looking good ...

10:07 <mato> hannes: https://github.com/Solo5/solo5/issues/61#issuecomment-233587178

10:08 <hannes> yes, no worries... go ahead with gcc only support for now

10:08 <hannes> (well, if you can include the type 1 headers now, although it is pointless, it would help me already (or if you have some branch for that))

10:10 <mato> I don't -- was going to do it today but with the group 2 problem I don't want to do it now as it's a fair bit of work and the gain is not clear.

10:10 <mato> Also, I don't want to break the current setup which works :-)

10:10 <hannes> ack

10:11 <mato> I will however test #63 (don't link libgcc.a) and merge if it all checks out.

10:12 <hannes> as said, I'll move along with entropy (I've a PR to use topkg), and try to poke david about nocrypto changes..

10:15 <mato> thanks. these things take time. I can start publishing most packages soon and possibly also submit the PR to the mirage frontend, the backend will just not work for any unikernel which depends on nocrypto/entropy without using the opam-solo5 remote...

10:16 <mato> once that gets sorted then things should start working using just opam.ocaml.org

10:18 <hannes> mato: ack. you'll first need to get mirage-solo5 (and their dependencies) in there

10:18 <mato> hannes: indeed, enough to do there, so i'm not blocked by waiting on nocrypto

10:19 <hannes> mato: exactly. and for nocrypto I already got a mirage-no-solo5 into opam-repo

10:19 <mato> great

10:19 <hannes> and in the end, we'll have to wait for mirage-3 to get it all out of the box... which likely will take some more time..

10:20 <mato> ack.

10:24 <hannes> bbl

10:31 <miragebot> [mirage] yomimono pushed 8 new commits to master: https://git.io/vKrIx

10:31 <miragebot> mirage/master 54a2fbe Mindy Preston: remove deprecated functions

10:31 <miragebot> mirage/master 294ca27 Mindy Preston: remove the --unix and --xen default arguments.

10:31 <miragebot> mirage/master 7daf6ad Mindy Preston: deprecate --unix and --xen in the documentation.

14:07 <miragebot> [mirage] yomimono created v2.9.1 at 355edc9 (+0 new commits): https://git.io/vKraP