(以下、2012年末以降ぐらいからアップデートしてません。そのへんよろしくお願いします) Linux 以外の OS の概況 NetBSD http://mail-index.netbsd.org/port-arm/2012/07/13/msg001367.html FreeBSD http://kernelnomicon.org/?p=164 タイマーの精度 システムタイマー (ビデオコントローラ側のタイマー) は 1MHz (1024 じゃなく 1,000,000Hz) 。精度は実測で日差 3 秒(初秋の室温で)。 ファームウェア Raspberry Pi のファームウェアの最新版は Github の raspberrypi/firmware にある。 boot ディレクトリにあるのがブートに必要なファームウェアで、SD の最初の MBR パーティションを FAT でフォーマットし、そこ