epoch など

結局 PIT のドキュメントを読んだが理解できたようなそうでないような感じ。
とりあえずやるべき事は

• 1970/1/1 からの経過時間を nano seconds で保持
• IRQ なり、counter なりで補正

の 2 つ。

というわけでシステム起動時に RTC から現在時刻を読み出し epoch に変換するコードを書いた。閏年を考慮するところが若干面倒。