Hello Stefan,
Three months ago, when I received a page fault (RM error), Norman suggested using objdump and I did it as follows with Genode toolchain: In var/run/printf: $ /usr/local/genode-gcc/arm-elf-eabi/bin/objdump -lSd image.elf | less
While we were able to find the conflicting address and IP, it was of no help because we couldn't trace it to the faulty line (primarily because we don't speak hexa). Is there a way of doing this, that is, Finding which line of code the IP is a part of?
Thanks Aditya.