TUD-OS/seoul — pull request #34 by Nils-TUD (2013-08-28 16:18:17+00:00)
Title: Network support.

I've now added network support to NRE (https://github.com/TUD-OS/NRE/commits/network) and made a few changes in seoul as well to get it going. Mostly of course in the nre directory, but I've also adjust the intel82576vf model to work on x86_64 (and some general things).