[tcptomato]

That version is abandoned and has quite a few severe bugs. There is a GPL fork which is maintained https://github.com/virtualsquare/picotcp