NXTで使われているARMは Atmel の AT91SAM7S256 というもの。 これは 16bit Timer を 3 つ持っている。 Toppers/OSEK , Toppers/ASP が使っていないタイマは、アプリが使えるはず。RTOSが使っているタイマをこれから調べてみる。