14:18 <danielh1234> Hi all. I am trying to get a minimal MirageOS+Irmin example running. I merely try to output "Irmin.version". The config.ml contains "add_to_opam_packages ["irmin" ; "bin_prot" ] ;" and "add_to_ocamlfind_libraries ["irmin" ; "bin_prot" ] ;" but i get a "ld: cannot find -lbin_prot_xen_stubs" which is clearly the linker complaining about a missing bin_prot_xen_stubs. How can i get it?

14:24 <hannes> danielh1234: which bin_prot do you have atm?

14:24 <danielh1234> opam install bin_prot says its 113.33.03

14:24 <hannes> only 113.33.03 includes some build magic to enable the xen pieces if mirage-xen is installed.

14:26 <hannes> do you have ~/.opam/<your-version>/bin_prot/libbin_prot_xen_stubs.a ? (likely not)... does opam reinstall mirage-xen bin-prot do sth useful?

14:26 <hannes> for earlier versions of bin_prot, https://github.com/samoht/bin_prot and https://github.com/hannesm/bin_prot contain branches with xen support.

14:28 <hannes> (I use 4.02.3 and have opam pin add bin_prot https://github.com/hannesm/bin_prot.git#113.33.00+xen)

14:29 <danielh1234> nothing in .opam, already did a reinstall bin_prot only, now reinstalling both...

14:35 <hannes> which ocaml version are you on?

14:35 <danielh1234> no luck with reinstall, OCaml version is 4.02.3

14:38 <hannes> please try the pin mentioned above

14:41 <danielh1234> It works. Thank you! What is missing in master?

14:45 <hannes> good question. could you open an issue on the irmin repo describing your setup and the bin prot which does not work!?

14:46 <hannes> I thought, although haven't tested, that they merged the patch upstream... but it looks like the merged patch is of no good

14:50 <syntiux> Hi everyone, when running xl create config.xl -c 'extra="hello=Hello Unikernel!"' to run my simple unikernel app on xen, the process doesn't seem to exit after printing to console. Is this indended behaviour ?

14:53 <hannes> syntiux: if you pass -c to xl create, as far as I understand it, your xl will be there forever, displaying the console of the virtual machine (but I'm not a xen expert or xl master)

14:54 <syntiux> hannes: Do you know if it's possible to terminate the unikernel from the application in order to get the process to terminate?

14:55 <hannes> syntiux: if you have another shell, what state does xl list present for the one in question?

14:56 <danielh1234> hannes: I can open an issue. But I just noticed that there is an Irmin version 0.11.1 and I am still using 0.11.0, I will try it with 0.11.1 first.

14:57 <syntiux> hannes: console 77 16 1 ---s-- 0.0

14:57 <syntiux> hannes: So state is ---s--

14:58 <hannes> which means shutdown.

14:59 <hannes> I guess removing on_crash = 'preserve' will avoid hanging in that state (in your .xl file), I've no clue about sensible values for on_crash (for one of my MirageOS kernels, 'restart' kills the VM (but does not restart it))

15:01 <syntiux> okay, I'll investigate and see if I find a solution which works for me in this case - it's only a small PoC so it's not that big of a deal

15:02 <hannes> syntiux: if you manage to find out what values for on_crash are valid, please tell :)

15:04 <syntiux> hannes: I'll probably not get to work on this today but I'll let you know if I find something :)

15:16 <danielh1234> hannes: looks like your PR was accepted directly _after_ the .03 release. I am trying to ping that specific commit as #master fails for me, but it gives me no such remove ref <hash>, ideas?

15:16 <danielh1234> hannes: https://github.com/janestreet/bin_prot/commits/master

15:18 <hannes> no ideas, no

15:19 <danielh1234> Ok, will use your branch then. Thanks a lot!

15:20 <hannes> you're welcome. still should work on getting it upstreamed then..

15:39 <danielh1234> hannes: FYI, i pinned by creating a branch in a local copy of the repository. The build fails though, complaining "No exported module defined for library" (among other things). The merge is not an exact copy of your commit as some files were already changed.