[GitHub] [incubator-nuttx] btashton commented on pull request #2380: tools: Fix nuttx-gdbinit for armv7-m with FPU

[GitBox <gi...@apache.org>]

btashton commented on pull request #2380:
URL: https://github.com/apache/incubator-nuttx/pull/2380#issuecomment-731870463


   Thanks! I just tested this on the stm32h7 with FP and it worked.
   ```
   (gdb) info_nxthreads 
   target examined 
   _target_arch.name=armv7e-m
   $_target_has_fpu : 1 
   $_target_has_smp : 0 
   saved current_tcb (pid=0) 
   * 0 Thread 0x24000358  (Name: Idle Task, State: Running, Priority: 0) 0x80091bc in arm_switchcontext()
     1 Thread 0x380002f0  (Name: hpwork, State: Waiting,Signal, Priority: 224) 0x80091bc in arm_switchcontext()
     2 Thread 0x38000ec0  (Name: lpwork, State: Waiting,Signal, Priority: 100) 0x80091bc in arm_switchcontext()
     3 Thread 0x38001a90  (Name: init, State: Waiting,Semaphore, Priority: 100) 0x80091bc in arm_switchcontext()
     4 Thread 0x38002710  (Name: usbhost, State: Waiting,Semaphore, Priority: 100) 0x80091bc in arm_switchcontext()
   ```


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org