Digilent Embedded IP Stack and drivers for MRF24WG0MA Wi-Fi and pic32mx Ethernet controllers