--- wikisrc/tutorials/how_to_use_thumb_mode_on_arm.mdwn 2019/04/04 23:58:31 1.3 +++ wikisrc/tutorials/how_to_use_thumb_mode_on_arm.mdwn 2019/04/05 00:11:04 1.5 @@ -53,7 +53,8 @@ While the thumb mode userspace boots and * thumb mode gcc segfaults on target - `# cat > test.c << EOF +

+    # cat > test.c << EOF
     > int main(void){
     > return 0;
     > }
@@ -75,14 +76,16 @@ While the thumb mode userspace boots and
     test.c:3: internal compiler error: Segmentation fault
     Please submit a full bug report,
     with preprocessed source if appropriate.
-    See  for instructions.`
-    
+    See  for instructions.
+
* thumb mode gdb segfaults on target +

     # gdb --verbose /bin/cat
     [1]   Segmentation fault (core dumped) gdb --verbose /bin/cat
+
These issues may be solved by upgrading to newer versions of GCC compiler and gdb debugger.