Thanks .. I'm more familiar with general mailing list posting ... not sure how this forum thing works. Hopefully this reply will reach a right place.
I would imagine the "kdump" or "system tap" would be easier than kernel debugger ? Doing kernel works on MIC, my current (and most significant) difficulty is kernel crash/panic. It has to use the "printk" type of tracing - taking numerous build-reload cycles to figure out where the system crashes. It is more than tedious.
MIC kernel does have CONFIG_CRASH_DUMP enabled. its kdump files show up in host's /var/crash/mic/ directory. Now all I need is to find the corresponding vmlinux file. Could someone pass info on how to rebuild (and/or obtain) the vmlinux file to read these dumps ?
Try /lib/firmware/mic/vmlinux. Is that what you need? If you need to recompile the kernel, you will need the MPSS tar file, but I'm not sure the full kernel code is there.