http://bootloader.wikidot.com/android:kgdbを使用して、kgdb を Android カーネルで動作させようとしています。次のステップで行き詰まりました:
Configure kernel command line
Specify ttyGS0 as the kgdboc device. Add the following into the kernel command line (possibly in BoardConfig.mk)
kgdboc=ttyGS0 kgdbretry=4
The second option "kgdbretry=4" is a new parameter added to kgdboc.c.
It means that if kgdb cannot find the device "ttyGS0" in early boot,
it will retry once after the specified number of seconds.
This is a work-around if the USB device is not immediately initialized during system boot.
どの BoardConfig.mk が参照されているか教えてください。または、起動中にこれらの引数をカーネルに渡す他の方法はありますか?