とりあえずいろいろ実装してみようと久しぶりにカーネルつくって 3470D をリブートしたら(約180日ぶり)、…上がって来ませんでした。 (;_;)(;_;)(;_;) こんな日に電源を落してはいけなかったようです。しくしく。 splnone の直後に FPU 割り込みが発生して panic するので、FPU が イっちゃったのかなあ。 さて、まだどこかで入手できるかなー。