TOPPERSカーネルの状態表示をしたい． 以前のエントリに書いた通り，デバッガ経由でシンボルは取れる． しかし． "決定版を作ると言っておきながら，バリエーション増殖が止まらない"TOPPERS系カーネルの全てにいちいち対応していては，こちらの体力が持たな…