ChibiOS

nuttxは諦めよう。 RealtimeOSはいくつもあるけど、ChibiOSってのを試してみようかな？