k.nishijo 2018年6月22日 10時25分 西條と申します。 「第１０章ブートローダー仕様」に従って、debian ユーザーランドで ＳＤカードブートできるようにしてみましが、カーネルコンフィグレーションの変更方法がわかりません。 ATDEのときのようにmake menuconfig とやっても出てきませんが、どうやったらよろしいでほうか？ コメントを投稿するにはログインまたは登録をしてください コメント k.nishijo 2018年6月22日 13時13分 過去の記事（https://armadillo.atmark-techno.com/forum/armadillo/732） と同様なことをしたいのですが、 この記事の最後にある ”下記のようにカーネルコンフィグレーションで該当部分を有効にしたカーネルを利用してみてください。” というのを確認したいのですがどうすればよいのかご教示ください > 西條と申します。 > 「第１０章ブートローダー仕様」に従って、debian ユーザーランドで > ＳＤカードブートできるようにしてみましが、カーネルコンフィグレーションの変更方法がわかりません。 > > ATDEのときのようにmake menuconfig とやっても出てきませんが、どうやったらよろしいでほうか？ > > コメントを投稿するにはログインまたは登録をしてください at_ohsawa 2018年6月22日 16時10分 ATDEでatmark-distとあわせてkernelをビルドすることができているのであれば、 そのときビルドされる images/linux.bin.gz をdebianユーザーランドと組合せて 使ってください。 コメントを投稿するにはログインまたは登録をしてください
k.nishijo 2018年6月22日 13時13分 過去の記事（https://armadillo.atmark-techno.com/forum/armadillo/732） と同様なことをしたいのですが、 この記事の最後にある ”下記のようにカーネルコンフィグレーションで該当部分を有効にしたカーネルを利用してみてください。” というのを確認したいのですがどうすればよいのかご教示ください > 西條と申します。 > 「第１０章ブートローダー仕様」に従って、debian ユーザーランドで > ＳＤカードブートできるようにしてみましが、カーネルコンフィグレーションの変更方法がわかりません。 > > ATDEのときのようにmake menuconfig とやっても出てきませんが、どうやったらよろしいでほうか？ > > コメントを投稿するにはログインまたは登録をしてください
at_ohsawa 2018年6月22日 16時10分 ATDEでatmark-distとあわせてkernelをビルドすることができているのであれば、 そのときビルドされる images/linux.bin.gz をdebianユーザーランドと組合せて 使ってください。 コメントを投稿するにはログインまたは登録をしてください
k.nishijo
2018年6月22日 13時13分
過去の記事（https://armadillo.atmark-techno.com/forum/armadillo/732）
と同様なことをしたいのですが、
この記事の最後にある
”下記のようにカーネルコンフィグレーションで該当部分を有効にしたカーネルを利用してみてください。”
というのを確認したいのですがどうすればよいのかご教示ください
> 西條と申します。
> 「第１０章ブートローダー仕様」に従って、debian ユーザーランドで
> ＳＤカードブートできるようにしてみましが、カーネルコンフィグレーションの変更方法がわかりません。
>
> ATDEのときのようにmake menuconfig とやっても出てきませんが、どうやったらよろしいでほうか？
>
>