2006-05-31 RTC NDS リアルタイムクロックの値を見たいけど面倒そうだなぁ、と思っていたら意外と簡単にできました。 "IPC->rtc_*"をみたらわかるみたいです(devkitProの場合)。