We are looking for an alternative to the gdb command line to study kernel dumps in OSX - is there a way to get Xcode to open arbitrary kernel dumps with debugging symbols?
Have you tried using MachOView 1 ?
It looks like it can work to view core dumps (besides everything it can do.)
1 Found this link .