added mentin of openocd for the nucelo board.

Author: gonzolively

docs/board-support/ST/B-U585I-IOT02A/index.md

@@ -52,9 +52,9 @@ The device will appear as a USB serial port when properly connected. On Linux/ma
 
 ---
 
-## Flashing the Firmware
+## Building and Flashing the Ocre Runtime.
 
-To flash the Ocre runtime, please follow the steps in the [Using a Physical Device](../../../quickstart/firmware/hardware) section found in the [Building and Flashing the Ocre Runtime](../../../quickstart/firmware) guide. 
+To build and flash the Ocre runtime to your board, please follow the steps in the [Using a Physical Device](../../../quickstart/firmware/hardware) section found in the [Building and Flashing the Ocre Runtime](../../../quickstart/firmware) guide. 
 
 {: .note}
 Be sure to use `b_u585i_iot02a` as your board name.

docs/board-support/ST/NUCLEO-H723ZG/index.md

@@ -54,13 +54,16 @@ The device will appear as a USB serial port when properly connected. On Linux/ma
 
 ---
 
-## Flashing the Firmware
+## Building and Flashing the Ocre Runtime.
 
-To flash the Ocre runtime, please follow the steps in the [Using a Physical Device](../../../quickstart/firmware/hardware) section found in the [Building and Flashing the Ocre Runtime](../../../quickstart/firmware) guide. 
+To build and flash the Ocre runtime to your board, please follow the steps in the [Using a Physical Device](../../../quickstart/firmware/hardware) section found in the [Building and Flashing the Ocre Runtime](../../../quickstart/firmware) guide. 
 
 {: .note}
 Be sure to use `nucleo_h723zg` as your board name.
 
+{: .warning}
+For some reason, the *Nucleo-H723ZG* board does not use *STM32CubeProgrammer* as the default runner (flashing utility). Instead, it uses `openocd` and it is recommended to install that for default functionality. Otherwise, you can simply run `west flash --runner=stm32cubeprogrammer` if you'd like to flash the board using *STM32CubeProgrammer*.
+
 ---
 
 ## Rebooting the Device

docs/board-support/ST/index.md

@@ -10,8 +10,12 @@ has_children: true
 STMicroelectronics development boards offer an excellent platform for working with the Ocre runtime. This section covers our currently supported ST boards and the recommended development tools for working with them.
 
 ## Required Tools
-Before working with any STM32 board, you must install:
+Before working with any STM32 board, you should install:
 * **[STM32CubeProgrammer](https://www.st.com/en/development-tools/stm32cubeprog.html)**: Official programming utility required for flashing firmware and configuring STM32 devices.
 
+## Optional
+Some boards need other utilities and drivers to build and flash the Ocre runtime and can be found below.
+* **[openocd driver](https://openocd.org/)**: Openocd is an opensource on chip debugger, and the default flashing utility for boards like the [Nucelo-H723ZG](../../board-support/ST/NUCLEO-H723ZG). 
+
 ## Supported Boards
 Select your board below for detailed setup and usage instructions.

docs/board-support/index.md

@@ -7,21 +7,21 @@ nav_order: 6
 # Board Support
 The Ocre runtime supports various development boards, each offering different features and capabilities. 
 
----
-
-## Using this Documentation
-1. First, select your board's manufacturer in the **sidebar** to review required tools and setup instructions specific to that manufacturer's development boards
-2. After installing the necessary tools, find your specific board's documentation for detailed hardware setup and flashing instructions
-
 **Each board's documentation provides:**
 - Hardware specifications and features
 - Connection and setup instructions
 - Flashing procedures
 - Reset and recovery steps
 - Relevant board documentation links
 
+---
+
+## Using this Documentation
+1. First, select your board's manufacturer in the **sidebar** to review required tools and setup instructions specific to that manufacturer's development boards
+2. After installing the necessary tools, find your specific board's documentation for detailed hardware setup and flashing instructions
+
 {: .important}
-Make sure to review and install all required tools outlined in the manufacturer's page before proceeding to your specific board's instructions. For example, STMicroelectronics boards require STM32CubeProgrammer for flashing firmware.
+Make sure to review and install all required tools outlined in the manufacturer's page before proceeding to your specific board's instructions.
 
 ---