boards: add stm32wle5jc to known boards

This adds the stm32wle5jc chip used in the seeed_studio_lora-E5-HF dev
board to tockloader's known board list. Communication intended to occur
using stlink over openocd.

Author: tyler-potyondy

tockloader/board_interface.py

@@ -316,6 +316,17 @@ class BoardInterface:
                 "flush_command": "probe-rs download {binary} --binary-format bin --base-address 0x10000000 --chip CY8C624AAZI-S2D44",
             },
         },
+        "stm32wle5jc": {
+            "description": "Seeed Studio LoRa-E5 board based on the STM32WLE5JC SoC",
+            "arch": "cortex-m4",
+            "page_size": 2048,
+            "no_attribute_table": True,
+            "openocd": {
+                "prefix": "source [find interface/stlink.cfg]; \
+                           transport select hla_swd; \
+                           source [find target/stm32wlx.cfg];",
+            },
+        },
     }
 
     def __init__(self, args):

tockloader/openocd.py

@@ -248,6 +248,11 @@ def _list_emulators(self):
                 openocd_cmd=self.openocd_cmd
             )
         )
+        openocd_commands.append(
+            '{openocd_cmd} -c "source [find interface/stlink.cfg]; transport select hla_swd; source [find target/stm32wlx.cfg]; init; exit;"'.format(
+                openocd_cmd=self.openocd_cmd
+            )
+        )
 
         # These are the magic strings in the output of openocd we are looking
         # for. If there is a better way to do this then we should change. But,
@@ -259,6 +264,7 @@ def _list_emulators(self):
             ("(mfg: 0x049 (Xilinx), part: 0x3631, ver: 0x1)", "arty"),
             ("SWD DPIDR 0x2ba01477", "microbit_v2"),
             ("stm32f4x.cpu", "stm32f4discovery"),
+            ("stm32wlx.cpu", "stm32wle5jc"),
         ]
 
         emulators = []

tockloader/tockloader.py

@@ -145,6 +145,9 @@ class TockLoader:
             "cy8cproto_62_4343_w": {
                 "start_address": 0x10100000,
             },
+            "stm32wle5jc": {
+                "start_address": 0x8018000,
+            },
         },
     }