It can be annoying to run into the SRST issue on Linux when using OpenOCD with the STM32F4, particularly when debugging using JLink or STLink. Adjusting the reset settings and properly configuring the OpenOCD interface are crucial tasks.