Hello
May I ask you what was the problem? I am just curious.
When you are speaking about kernel debugging, are you speaking about Embedded Linux kernel debugging?
Embedded Linux Kernel debugging is possible only with CodeWarrior Development Studio for PowerPC, Linux Platform Edition.
You need a Linux hosted machine to do kernel debugging.
If you only have Windows hosted machine, only solution I can think about (I have used it a while ago) is to use VMWare and create a emulated Linux machine on your Windows host.
I hope this helps.
CrasyCat