Debugging kernel crashes

[wallabybob]

Because I've come across highly reproducible crashes on Apply all changes to ral and rum devices and I have some time on my hands I thought I would look into these crashes.

The boot file is reported to be /boot/kernel/kernel.gz but this file doesn't have debugging symbols, specifically local functions. I went looking for a kernel file with debugging symbols and found a number of files in /kernels
which were all different from the boot file.

/boot/kernel/kernel.gz          6810893
/kernels/kernel_Dev.gz          19238518
/kernels/kernel_SMP.gz          7543182
/kernels/kernel_uniprocessor.gz  7543203
/kernels/kernel_wrap.gz          5958460

What are all these kernel files? None of them (after unzipping) appear to have debug symbols.

Here's the crash output that set me looking for debug symbols

Fatal trap 12: page fault while in kernel mode
cpuid = 0; apic id = 00
fault virtual address  = 0xc3bd3008
instruction pointer    = 0x20:0xc0a863c2
stack pointer          = 0x28:0xc325bb7c
frame pointer          = 0x28:0xc325bba0
code segment            = base 0x0 limit 0xfffff, type 0x1b
                        = DPL 0, pres 1, def32 1, gran 1
processor eflags        = interrupt enabled, resume, IOPL = 0
current process        = 12 (swi 4: clock)