Oliver Lehmann writes: > pc = 0xfffffc00005186c4 > ra = 0xfffffc000038ff2c If you can map the pc and ra to source code using gdb, we might be able to debug this.. gdb kernel.debug (gdb) l *0xfffffc00005186c4 (gdb) l *0xfffffc000038ff2c Drew