09:40 <vbmithr> hey

09:40 <vbmithr> No idea what version of TLS Async_ssl is using ?

14:33 <haesbaert> is there a way for me to build a library just giving the interface of mirage Clock ?

14:33 <haesbaert> so when you link against the library you provide either mirage-clock-xen or mirage-clock-unix

14:34 <haesbaert> I tried building the library with mirage-clock-unix, and then later on the unikernel linking against mirage-clock-xen, but then I get

14:34 <haesbaert> Error: Files /home/haesbaert/.opam/4.02.3/lib/charrua-core/charrua.cmxa and /home/haesbaert/.opam/4.02.3/lib/mirage-clock-xen/mirage-clock.cmxa make inconsistent assumptions over implementation Clock

16:27 <haesbaert> so I got my dhcp to work on xen for the first time \o/

16:28 <haesbaert> I'm having an issue with a multiline print:

16:29 <haesbaert> for some reason:

16:29 <haesbaert> C.log c (green "listener got packet with %d len\nTESTELALA\nLEROLERO" len);

16:29 <haesbaert> produces:

16:29 <haesbaert> listener got packet with 215 len

16:29 <haesbaert> TESTELALA

16:29 <haesbaert> LEROLERO

16:29 <haesbaert> tips ?

16:30 <haesbaert> a newline at the end of the string is fine.

16:51 <Drup> haesbaert: the answer to your clock question is: use mirage-types and parametrise your functor over the CLOCK signature

16:52 <Drup> As I said in a previous discussion, in case of doubt, make it a parameter. :]

16:55 <haesbaert> Drup: Ack, I was trying to avoid a functor since all I need is the Clock.time() call

16:57 <haesbaert> I did the wrong way now, will adjust to use mirage-types

18:11 <haesbaert> btw: https://pbot.rmdir.de/lfh1iBLm5p8gpgmWKvCS3Q

18:11 <haesbaert> \o/

18:13 <yomimono> nice!

19:41 <yomimono> haesbaert: is that what I'll get if I clone https://github.com/haesbaert/charrua-core ?

19:41 <yomimono> looks like you just did an update so I'm guessing so?

19:47 <haesbaert> yep, you'll need charrua-core too

19:47 <haesbaert> basically you need a files/dhcpd.conf and change the ipaddr in unikernel.ml

19:48 <haesbaert> I'll write some docos when I release, hopefully this weekend

19:48 <yomimono> Awesome! I'm excited to see it.

19:48 <haesbaert> :D quite happy that it worked, it's been serving my home for about 10 days now, but I was running outside of mirage

19:50 <haesbaert> the one important thing missing is saving the lease database, as soon as I release I'll work on using irmin as a backend

19:51 <yomimono> cool. there's stuff I'd like to do that would be enormously helped by having a lease database available through irmin

19:52 <haesbaert> as in ?

19:52 <yomimono> NAT device stuff

19:53 <haesbaert> hmm

19:53 <yomimono> proof-of-concept that flips leases around and moves connection maps with them, for example

19:54 <haesbaert> ack

19:56 <haesbaert> I seriously need some regression tests, I want to mock the IO of a client and server and try to emulate most of cenarios