Here are the installation commands for a few Linux distributions.

NOTE gdb-multiarch is the GDB command you'll use to debug your ARM Cortex-M programs

$ sudo apt-get install \
  gdb-multiarch \
  minicom \
  openocd

NOTE arm-none-eabi-gdb is the GDB command you'll use to debug your ARM Cortex-M programs

$ sudo apt-get install \
  gdb-arm-none-eabi \
  minicom \
  openocd

NOTE arm-none-eabi-gdb is the GDB command you'll use to debug your ARM Cortex-M programs

$ sudo dnf install \
  arm-none-eabi-gdb \
  minicom \
  openocd

NOTE arm-none-eabi-gdb is the GDB command you'll use to debug your ARM Cortex-M programs

$ sudo pacman -S \
  arm-none-eabi-gdb \
  minicom \
  openocd

NOTE arm-none-eabi-gdb is the GDB command you'll use to debug your ARM Cortex-M programs

For distros that don't have packages for ARM's pre-built toolchain, download the "Linux 64-bit" file and put its bin directory on your path. Here's one way to do it:

$ mkdir -p ~/local && cd ~/local
$ tar xjf /path/to/downloaded/file/gcc-arm-none-eabi-7-2017-q4-major-linux.tar.bz2.tbz

Then, use your editor of choice to append to your PATH in the appropriate shell init file (e.g. ~/.zshrc or ~/.bashrc):

PATH=$PATH:$HOME/local/gcc-arm-none-eabi-7-2017-q4-major/bin

$ sudo apt-get install \
  bluez \
  rfkill

$ sudo dnf install \
  bluez \
  rfkill

$ sudo pacman -S \
  bluez \
  bluez-utils \
  rfkill

These rules let you use USB devices like the F3 and the Serial module without root privilege, i.e. sudo.

Create these two files in /etc/udev/rules.d with the contents shown below.

$ cat /etc/udev/rules.d/99-ftdi.rules

# FT232 - USB <-> Serial Converter
ATTRS{idVendor}=="0403", ATTRS{idProduct}=="6001", MODE:="0666"

If you have a different USB <-> Serial converter, get its vendor and product ids from lsusb output.

$ cat /etc/udev/rules.d/99-openocd.rules

# STM32F3DISCOVERY rev A/B - ST-LINK/V2
ATTRS{idVendor}=="0483", ATTRS{idProduct}=="3748", MODE:="0666"

# STM32F3DISCOVERY rev C+ - ST-LINK/V2-1
ATTRS{idVendor}=="0483", ATTRS{idProduct}=="374b", MODE:="0666"

Then reload the udev rules with:

$ sudo udevadm control --reload-rules

If you had any board plugged to your computer, unplug them and then plug them in again.

Now, go to the next section.