Richard Mortier

FWIW this is something that occurs in OpenFlow too -- by default, frames are not forwarded out of the interface on which they arrived, though you can set an explicit...

Possibly naive question -- how is it a problem if the TCP/IP stack connects to its own listening ports?

Go for it. If someone comes up with one, it can always be reopened.

I'm tempted to suggest it belongs in a separate library that can be instantiated in a separate unikernel to the webserver in any deployment; but I don't know if that...

(Also jumping in with little to add except: would https://github.com/Cjen1/ocaml-tree-diff be at all useful in addressing this? Generic, precise tree-diff implementation that @cjen1 did for his undergrad project. Tested up...

somewhere. wasn't complete though. can't recall if it was in the repo or not. i'll have a look...

i think it should remove the `.xl` file unless it's been edited. i've no strong opinion on removing opam packages -- i wouldn't mind having them left installed myself, but...

I guess this would require a proper record of the parameters that were originally passed into `mirage configure`. @drup is that easily available via functoria?

see also coreboot perhaps. free software bios. http://www.coreboot.org/Welcome_to_coreboot

FWIW I thought we'd dropped `mirage build` too -- I thought all the docs, tutorials, talks refer to `mirage configure -t BACKEND && make` now. On 16 October 2016 at...