http://code.google.com/p/embox/wiki/ProjectDescription
обзывается EMBOX
пишут что родилось как коммерческий проект, но недавно опубликовали под BSD
платформы:
Virtex-5 LXT FPGA ML505 Evaluation Platform
HW-SPAR3AN-SK-UNI-G Starter Kit
SAM7-P256 development board for AT91SAM7S256 ARM7TDMI-S
Lego Mindstorms NXT Atmel AT91SAM7S256 ARM7TDMI