diff --git a/documentation/asciidoc/microcontrollers/debug-probe/installing-tools.adoc b/documentation/asciidoc/microcontrollers/debug-probe/installing-tools.adoc
index 105c46745..69ab3024c 100644
--- a/documentation/asciidoc/microcontrollers/debug-probe/installing-tools.adoc
+++ b/documentation/asciidoc/microcontrollers/debug-probe/installing-tools.adoc
@@ -52,13 +52,11 @@ Run the following command to install `gdb`:
 
 [source,console]
 ----
-$ brew install gdb
+$ brew install arm-none-eabi-gdb
 ----
 
 You can safely ignore the request for "special privileges" messages on installation.
 
-IMPORTANT: GDB does not support `gdb` Arm-based Macs. Instead, either https://gist.github.com/m0sys/711d0ec5e52102c6ba44451caf38bd38[install `gdb` from source] or use `lldb` instead of `gdb`. There is https://inbox.sourceware.org/gdb/3185c3b8-8a91-4beb-a5d5-9db6afb93713@Spark/[no official support] from the developers for running GDB on Arm-based Macs. Support for GDB can be found on the https://inbox.sourceware.org/gdb/[GDB mailing list] on Sourceware.org. `lldb` is installed as part of the Xcode Command Line Tools.
-
 ==== MS Windows
 
 GDB is available as part of our https://github.com/raspberrypi/pico-setup-windows/releases/latest[Pico setup for Windows installer]. It is also included in the https://developer.arm.com/downloads/-/arm-gnu-toolchain-downloads[Arm GNU Toolchain Downloads].
diff --git a/documentation/asciidoc/microcontrollers/debug-probe/swd-connection.adoc b/documentation/asciidoc/microcontrollers/debug-probe/swd-connection.adoc
index f8842c0bd..1dcc14cee 100644
--- a/documentation/asciidoc/microcontrollers/debug-probe/swd-connection.adoc
+++ b/documentation/asciidoc/microcontrollers/debug-probe/swd-connection.adoc
@@ -59,4 +59,4 @@ $ gdb blink.elf
 GDB doesn't work on all platforms. Use one of the following alternatives instead of `gdb`, depending on your operating system and device:
 
 * On Linux devices that are _not_ Raspberry Pis, use `gdb-multiarch`.
-* On Arm-based macOS devices, use `lldb`.
+* On macOS devices, use `arm-none-eabi-gdb`.