No floating point registers for Cortex-M4F in arm-none-eabi-gdb on MacOSX

Question

I am using arm-none-eabi-gdb to debug a program running on the STM32F407VG discovery board (a popular Cortex-M4F development board) and the st-link v2 debugger. I am using MacOSX and the arm embedded GNU toolchain through homebrew. On both gdb and arm-none-eabi-gdb taps, after I fire up the debugger using --eval-command target extended-remote :4242, I can't get at the floating point registers. When I am on ubuntu (18.04), the gdb-multiarch package does this smoothly.

When I use arm-none-eabi-gdb, I get these outputs when I do info all-registers

f0 -1.26848020321843927424e-1402 (raw 0x002c0f1f00007ffeaddeadde)

:

f7 -1.26848020321843927424e-1402 (raw 0x002c0f1f00007ffeaddeadde)

when I am using gdb-multiarch, I get these outputs

s0 0 (raw 0x00000000)

:

s31 0 (raw 0x00000000)

if anyone can tell me how to make arm-none-eabi-gdb work with floating point regs, I will be very happy

Thank you.