Problem description: Kernel oops when starting program with gdb, see log file. It seems to only happen the first time and also when libpthread debug symbols are added. We see the same behaviour when attaching to running programs. Scenario: 1. Make sure libpthread debug symbols are available 2. Start gdb with e.g. 'gdb ls' 3. Run program in gdb Reproduced on: WR Linux 700.6 BSP: fsl-t4xxx Analysis: This might be related to 'Case 00040463 - fsl-t4xxx: kernel does not boot with hardware tablewalk enabled' as the crash seems to happen in the interrupt that the htw is patching.
Apply the attached patch to kernel.
