Thomas Gazagnaire

Keeping this open as this seems to be a real synchronisation issue and need more investigation.

@CraigFe is planning to have a look at it at one point :-)

@hannesm had made few remarks regarding ARP spoofing that can be an issue with the patch (and with synjitsu in general). Would be great to have more advices on that...

Hey, thanks for your patch. Could you clarify why we may need a `refresh` function? Unless I'm mistaken, I don't expect a wall clock to be called in performance-critical situations....

I confirm that I can reproduce @dinosaure's issue in linux but not on macos. No idea what the linker is doing here :-)

YES! I had plans to do that, using capnp for the RPC mechanism (as you could easily register closures) and using the Mirage signatures to define the API boundaries (e.g....

Is there a spec somewhere?

This is related to #32. To be honest I have not yet encountered both issues, so I'm not sure what to do.

ha ok, thanks for the explanation. We still need sudo to install the depexts though, so I'll merge #32 first.

@bluddy thanks! unfortunately by default we don't know which packages to whitelist in the `.travis.yml` file, as this is detected at runtime using `opam depext`. Not sure if we can...