some of the work seems to be done by Anthony:
https://github.com/frantony/barebox/commits/20150719.picotcp

I don't know if it is wokring.

@Anthony, ping

-- 
Regards,
Oleksij