ci4...@gmail.com (Chavdar Ivanov) writes: >addr2line didn't return anything (most likely I was invoking it wrong, >I don't know).
You need to use the debug kernel (the netbsd.gdb file).
>gdb points to spec_read:
When used with netbsd.gdb you get more information. If you haven't
built it, you can still do (from the same sources) and use it to
analyze the core file.
--
--
Michael van Elst
Internet: mlel...@serpens.de
"A potential Snark may lurk in every tree."
