[okl4-developer] how to debug the kernel panic

[Guanghui, Cheng]

Hello:
	I run the oklinux with modification to suit for the Android goldfish. Things 
sounds good to boot earlier from Android Emulator. But there is a kernel 
panic as following and it goes into the KDB:
[    0.427141] Got unexpected IPC from 0x80000001
[    0.428372] Kernel panic - not syncing: unexpected ipc message
[    0.430000] Rebooting in 1 seconds..Linux exit status: 5
--- KD# User: Linux exit ---
>
	I check the source code of oklinux and find these errors are from here:
if (sender.raw == L4_nilthread.raw)
	irq = mask_to_irq(&num);
else {
	printk("Got unexpected IPC from 0x%x\n", sender.raw);
	panic("unexpected ipc message");
}

	it seems that interrupt_loop got an IPC from unexpected thread 
(L4_ThreadId_t.raw = 80000001). I want to know what this thread is from KDB.
I try to use the KDB debugger but it seems to be very tricky. Does anybody 
tell me how to debug this unexpected thread.
	Thanks a lot.
									Cheng Guanghui