Armadilloフォーラム

お世話になります。

カーネルの書き換え方法について、手順を教えてください。
推奨される方法がすでにどこかに記述されていれば、その場所を
指示してください。

あるいは、ＳＤブートから書き換えるには、
カーネルのイメージをどこに置いたらよいでしょうか？
ext4領域には、どのように書き込めばよいでしょうか？
Windows からだとアクセスできないので、ゲートウェイ上で書き込んでおく必要があるでしょうか？

よろしくお願いいたします。