да, uIP просто портируется. Banyan - драйвер для arm axd. Теоретически должен позволять отлаживать внутрисхемно через виглер.
Живет там:
http://armdebug.html.533.net/product.htm (у меня не грузится сегодня)
и был на laogu. Не найдете - вышлю.
Сейчас посмотрел - на ls-labs есть ArmAgent с похожим назначением.
Да, это моя страница. Почта - embedded0@nm.ru