Hi, I am working on an embedded ARM board (s3c2416) and I can already debug its boot loader (u-boot) with arm-linux-gdb, which talks to a GDB server provided from J-Link. Now I want to debug the kernel. The problem is that how can I get the correct symbol table for listing source lines in gdb. I checked the symbols in my compiled vmlinux, it starts from 0xC0008000. I think this is the final runtime address and should be a virtual address after MMU enabled. When kernel getting loaded into RAM, the virtual address probably not exists. On the other hand, the zImage loaded by boot loader is not vmlinux actually, it should be head.S which then carries vmlinux as piggy. So, with these complexities, how can I correctly debug Linux kernel starting from it's first instruction in head.S? Who have experience on this? Thanks in advance. -- woody I can't go back to yesterday - because I was a different person then.