Kernel configuration option for debugging the kernel (using bdi 2000)

[dong in kang]

 Hello,

 I started using bdi2000 with gdb.
I run gdb on Pentium PC.
The target is Sandpoint X3 with Altimus MPC755 processor board.
I found some flags in "kernel hacking" menu.
Which should I turn on?
   Magic SysRq key, Include kgdb kernel debugger, Include xmon kernel
debugger, Include BDI-2000 user context switcher, ...

 I switched from Codewarrior to GDB recently.
I'm not good at remote debugging with GDB.
I'll appreciate your help.

 Dong-In


** Sent via the linuxppc-embedded mail list. See http://lists.linuxppc.org/