Explain how to run other examples too.

src/bare-metal/microcontrollers/board-support.md

@@ -14,4 +14,10 @@ Board support crates provide a further level of wrapping for a specific board fo
    itself.
    * `microbit-v2` includes a simple driver for the LED matrix.
 
+Run the example with:
+
+```sh
+cargo embed --bin board_support
+```
+
 </details>

src/bare-metal/microcontrollers/hals.md

@@ -14,4 +14,10 @@ from [`embedded-hal`](https://crates.io/crates/embedded-hal).
  * HAL crates exist for many Cortex-M and RISC-V devices, including various STM32, GD32, nRF, NXP,
    MSP430, AVR and PIC microcontrollers.
 
+Run the example with:
+
+```sh
+cargo embed --bin hal
+```
+
 </details>

src/bare-metal/microcontrollers/pacs.md

@@ -20,4 +20,10 @@ files.
 * If you `cargo install cargo-binutils` then you can run
   `cargo objdump --bin pac -- -d --no-show-raw-insn` to see the resulting binary.
 
+Run the example with:
+
+```sh
+cargo embed --bin pac
+```
+
 </details>