Приехал мне такой девайс.
Отладочная плата
STM32VLDISCOVERY На контроллере STM32F100. Это уже ARM. Буду пробовать на нем поднимать FreeRTOS и уже под эту операционку переписывать драйвер AVC-LAN.
Самое главное дешево! 10 баксов с бесплатной доставкой. Приехала из штатов за 20 дней.