デバイスツリーの割り込みノードに3つのセルがある場合それはArm GIC (Generic Interrupt Controller)を用いた割り込みが想定されている。検索で簡単に出ないしよく忘れるので3つのセルそれぞれの意味についてここに書いておく。

組み込み機器に対してSSHしたときに、イメージ焼き直した前と後で同じIPだとセキュリティの関係でknown_hostsの行を消さないといけない。