Hello I have recently been quite successful in debugging arm11 linux kernels using openocd and gdb. I did not find much information on the web and therefore created a wiki page on elinux for that.
http://elinux.org/DebuggingTheLinuxKernelUsingGdb The next step I want to figure is how to load kernel modules /symbols directly from the host pc and do other things Help and comments more then welcome! greetings _______________________________________________ Openocd-development mailing list Openocd-development@lists.berlios.de https://lists.berlios.de/mailman/listinfo/openocd-development
