コグノスケ

Welcome back ROCK64

目次: ROCK64/ROCKPro64

やっとROCK64を置けそうな場所を確保できて、Linuxカーネルで遊べるようになりました。

先月linux-nextでRK3328のAudio（I2S）を動かそうとしていたことまでは覚えているものの、どうして動かないのか、どうやって追うつもりだったか、完全に忘れました。

引っ越し前にLKMLにぶん投げたパッチは、全てUpstreamに取り込まれたようですから、ここらで一つ、初心に帰って解析するのもありでしょう。

できればボードが訳わからん動きをした時のデバッグのため、オシロをボードの隣に置きたいんですが、自分のスペース（60cm幅の棚1つだけ）には置けそうにありません。困ったな〜。

Raspberry Pi 3 Model B+

ついでにRaspberry Pi 3もROCK64の隣に置いておきました。とはいえRasPi 3はカーネル起動時にシリアルを出す方法が分からんので、カーネル開発用としてはほとんど使っていません。

それと気のせいでなければ、RasPi 3はROCK64より一段遅い気がします。どちらも同じCortex A53 x 4で、SDカードからブートしているんですけどね。メモリアクセスが遅いのかなあ？

時代の移り変わりと休日

ちょっと古いニュースですが、皇位継承前後、10連休へ = 政府、19年5月1日、祝日化で調整 - 時事ドットコム、を読んで。

平成の次の時代の始まりに伴って、祝日が設定されるようです。特別な休日の設定は、今回に限ったことではなく、昭和から平成に移った時（1990年11月12日）も祝日が設定されました。

天皇の即位に伴う行事の名前は「（〇〇天皇の）即位の礼」と言います。即位の礼は1日で終わりではなく、かなり長い期間掛けてやります。

国事が行われる日は5日ほどあります、例えば5月1日は「剣璽等承継の儀」が行われます。この日に元号が変わります。また、即位を公式に示す「即位礼正殿の儀」は10月22日だそうです。しかしややこしいことに、国事が行われる日が、全て祝日になる訳ではありません。カレンダー屋さんは来年のカレンダー作りに苦労していることでしょう。

今のところ5月1日の祝日はほぼ確定しているようなので、このサイトのカレンダー設定も、とりあえず2019年5月1日だけ、休日に設定しておきました。2019年10月22日については、まだ良くわからないので、何かわかったら設定します。

オリンピックに伴う特別な休日

サマータイムの検討などで、日本中を騒がせている2020年の東京オリンピックですが、実は祝日にも様々な影響を及ぼしています。「国民の祝日」について - 内閣府、を見ると、2020年だけ例外だらけのムチャクチャなカレンダーになっています。

まず2020年から「体育の日」が「スポーツの日」に変更されます。わざわざ名前を変えた意味は分かりません。さらに、

• 海の日: 7月20日（7月第3月曜） → 7月23日
• スポーツの日: 10月12日（10月第2月曜） → 7月24日
• 山の日: 8月11日 → 8月10日

特例で祝日の日付が変更されます。海の日とスポーツの日は東京オリンピックの犠牲者ですが、山の日は一体なぜ移動したんでしょうね？意味わからん。

俺たちの引っ越しはまだ終わらない

引っ越しの荷物は、終盤にヤケクソで詰め込んだ「その他」の箱が残ってしまい、進捗が極めて悪くなりました。東京の部屋は、大阪で住んでいた部屋より、部屋数も多く面積も広いです。しかし大阪より収納が少ない感じがします。

おそらく増加した面積は、お風呂や玄関といった、収納に寄与しないスペースに使われているのでしょう。お陰で部屋のグレードは明らかに良くなったように感じますし、悪いことではありません。

そもそも物があぶれているのは、収納する場所が無い（大阪でも収まってなかった）ことの表れなので、もう諦めて捨てるしかないですね…。