diff options
author | dzwdz | 2022-05-03 19:02:56 +0200 |
---|---|---|
committer | dzwdz | 2022-05-03 19:02:56 +0200 |
commit | 600dd0bb30d9d8d5c7645156c1c50ad68ec1b334 (patch) | |
tree | 511b10b0f4481ba532a99a8fc822adbb76d9c760 /tools | |
parent | 775e4fd747d567916658b2b26e8e3c5eba6b5a54 (diff) |
kernel: stacktraces on panic()
Diffstat (limited to 'tools')
-rw-r--r-- | tools/stacktrace_resolve.awk | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/stacktrace_resolve.awk b/tools/stacktrace_resolve.awk new file mode 100644 index 0000000..a8254a7 --- /dev/null +++ b/tools/stacktrace_resolve.awk @@ -0,0 +1,11 @@ +/k\/[0-9A-Fa-f]{8}/ { + print; + addr = substr($0, match($0, /k\/[0-9A-Fa-f]{8}/) + 2, RLENGTH - 2); + if (addr != "00000000") { + printf " "; + system("addr2line -psfe out/fs/boot/kernel.bin 0x" addr); + } + next; +} + +{ print; } |