FreeRTOS-UIP integrated kernel with board support for our custom LPC21xx (ARM) board. Includes FreeRTOS/UIP code as well. Couple of the drivers were developed by other developers.