Interesting, they seem to use a different tcp/ip stack: https://github.com/mirage/mirage-tcpip
you can also achieve the same by using
I gave it a try but it was very buggy and unstable hence didnt continue to use it. But I think this is a good option too once developed more.
I also came across this but dont know how good: