I am trying to get kgdb working with Android kernel using http://bootloader.wikidot.com/android:kgdb. I got stucked at following step:
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.
Could anybody please tell me which BoardConfig.mk is it referring? Or is there any other method for passing these arguments to the kernel while booting?