午前中打ち合わせに出ていた間に熊猫先生が、Atmark-distで無事2.4カーネルでTOMOYO Linuxの動作を確認できたと教えてくれた。*1本当はクロス環境ではなく、Armadillo自体でカーネルを作ってみたかったのだけれど、時間もないのでそれを使うことにした。デモ…