From 3fe6219a6a64e463f66d11eb92f5567fd15a9a93 Mon Sep 17 00:00:00 2001
From: "Anthony J. Martinez" <anthony@ajmartinez.com>
Date: Thu, 15 Jul 2021 18:29:06 +0000
Subject: [PATCH] Update Fedora and Linux verification steps

---
 src/03-setup/linux.md  |  5 ++---
 src/03-setup/verify.md | 11 +++++++++++
 2 files changed, 13 insertions(+), 3 deletions(-)

diff --git a/src/03-setup/linux.md b/src/03-setup/linux.md
index d88f1f0d2..1b90c3b2d 100644
--- a/src/03-setup/linux.md
+++ b/src/03-setup/linux.md
@@ -42,12 +42,11 @@ sudo apt-get install \
 
 ### Fedora 23 or newer
 
-Install GDB as described in [Other distros](#other-distros) and the following packages:
-
 ``` console
 sudo dnf install \
   minicom \
-  openocd
+  openocd \
+  gdb
 ```
 
 ### Arch Linux
diff --git a/src/03-setup/verify.md b/src/03-setup/verify.md
index b69d48999..7e7805a46 100644
--- a/src/03-setup/verify.md
+++ b/src/03-setup/verify.md
@@ -68,6 +68,10 @@ Two *red* LEDs should turn on right after connecting the USB cable to the board.
 > no `-1` at the end). Alternatively, older revisions can use `-f board/stm32f3discovery.cfg`
 > instead of `-f interface/stlink-v2-1.cfg -f target/stm32f3x.cfg`.
 
+> **NOTE** OpenOCD v0.11.0 has deprecated `interface/stlink-v2.cfg` in favor of
+> `interface/stlink.cfg` which supports ST-LINK/V1, ST-LINK/V2, ST-LINK/V2-1, and
+> ST-LINK/V3.
+
 ### *Nix
 
 > **FYI:** The `interface` directory is typically located in `/usr/share/openocd/scripts/`,
@@ -78,6 +82,13 @@ Two *red* LEDs should turn on right after connecting the USB cable to the board.
 openocd -f interface/stlink-v2-1.cfg -f target/stm32f3x.cfg
 ```
 
+or
+
+``` console
+openocd -f interface/stlink.cfg -f target/stm32f3x.cfg
+```
+
+
 ### Windows
 
 Below the references to `C:\OpenOCD` is the directory where OpenOCD is installed.