ChibiOS seems to work OK for me, though I haven't fully tested it yet. I'm running a port on both the M4 and M0 cores of an LPC4357, the 204mHz part. It's prett

ChibiOS seems to work OK for me, though I haven't fully tested it yet. I'm running a port on both the M4 and M0 cores of an LPC4357, the 204mHz part. It's pretty quick.