Глянул, встреченные нами проблемы по-сути решены, можно из
исходников собирать и править как хочется. Прерывания Ethernet реализованы как в linux: upper half irq + bottom half irq, только вместо bottom half используется поллинг в основом цикле. Надо зафигачить в IRQ вызовы RTOS (очередь), и в отдельной задаче (с уже разрешёнными прерываниями) по приходу данных в очередь реализовать разбор полётов.