BSD unix для PIC32?

На пике увлечения микроконтроллером PIC32 меня посетила крамольная мысль: не затащить ли на него BSD Unix? Процессор имеет несколько важных особенностей:

• Есть защита памяти между режимами ядра и пользователя
• Есть выполнение кода из оперативной памяти RAM
• Оперативную память RAM можно разделять в произвольном соотношении между режимами ядра и пользователя
• Старшие модели имеют 128 кбайт RAM, которых вполне должно хватить

Получится простая и понятная операционка для встроенных применений. Из периферии можно окучить SD/MMC в качестве диска, USB и Ethernet.