Repository has moved: https://git.syndicate-lang.org/syndicate-lang/minimart-netstack-2014 - View it on GitHub