You wouldn't happen to know how close these ARM cores are to LPC1xxx or STM32? Would it be worthwhile to port Chibios to them?