13:44 <hannes> mato: nice ocaml-freestanding! I just confirmed that it still builds and works on FreeBSD here

14:03 <mato1> hannes: good stuff! i'm finally working on the PASS/FAIL script for running the solo5 standalone tests

14:05 <hannes> nice

14:09 <hannes> for console unikernels I can imagine how to do that... for network... you need some remote kill mechanism!?

14:11 <mato1> yeah, network is tricky, you also have two processes to deal with, the unikernel and whatever is talking to it. working on it.

14:55 <hannes> mato1: I've been working on sth in respect to testing TCP/IP in the FreeBSD kernel... with a remote helper process that emits TCP/IP frames (via system calls or raw)... what I do (in OCaml) is to setup a control connection, do tests (with expected outcome etc., each thing on the remote side is blocking (I send command 'connect to foo' and wait until connect returned)

14:56 <hannes> of course that only works if you're getting to a network connection... same could be played with using syslog and a collector as part of the program running the test (once a test is finished, the control connection is teared down which leads the remote process to die -- or the unikernel to stop)

16:57 <mato1> hannes: ok, i have a gnarly shell script, but it works! (locally and on Travis). still need to document it properly, tomorrow.

16:58 <mato1> hannes: see https://github.com/Solo5/solo5/pull/118 for WIP, and eg. https://travis-ci.org/Solo5/solo5/builds/174541821 for a successful result

20:37 <miragebot> mirage/master 0ba5f3d Anil Madhavapeddy: Merge pull request #662 from ryanrhymes/ryanrhymes-patch-1...

20:37 <miragebot> [mirage] avsm pushed 2 new commits to master: https://git.io/vX2BY

20:37 <miragebot> mirage/master 6c336b6 Liang Wang: add owl to documentation

22:34 <dave_tucker> question: looking to make some contributions to mirage-tcpip and having trouble seeing where the initial handshake takes place (in the code)... i'm planning on vetting the congestion control against rfc 2581 - starting with ensuring the mss sizes in use are correct

22:56 <miragebot> mirage/master 4a0ca42 Mindy Preston: Merge pull request #611 from hannesm/random-key...

22:56 <miragebot> [mirage] yomimono pushed 2 new commits to master: https://git.io/vX2Ho

22:56 <miragebot> mirage/master ce13fd5 Hannes Mehnert: prng key