Hello,
I couldn't find an image with debug information, so i dont know what C-code this belongs to.
objdump's '-d' option did not help? Are you specifying your own compiler flags for this program? Otherwise, L4Re's build system by default compiles with debug info.
Indeed, i was objdumping the bootstrap.elf, which seems not to have Debug-Infos. But i found Debug-infos here: obj/l4/arm-ca/bin/arm_armv7a/l4f/crapApp
I only have a pc=115c7a8, but since i start from 0x01000000, i guess that right?
115c7a8: e28cca13 add ip, ip, #77824 ; 0x13000
No way. This instruction adds a constant to a register and does not touch memory at all. Hence it won't raise a page fault. Did you objdump your program for that?
I'm not sure what you mean. I'm not experienced with objdump, though. But i can't look at all Load & Store instructions, do i? Looking for pc=15c7a8 isn't the solution, neither, since it's not there. So, what would u recommend to look for?
My problem again: The function foo() is only called at one place in the code. I have to comment some stuff out in foo() to make the program work. But even if i dont call foo() (it is useless for this test-case), the program fails at the same place. So, the fault can't be in foo().
There are no threads, and no risky pointer stuff. Actually it is tested legacy code for Intel-Linux.
Thank u so far,
ba_f