API

openocd_flash

openocd_flash(name, device_configs, flash_offset, image, interface_configs, programmer_frequency,
              transport)

Used to flash a binary image to a microcontroller using openocd

Example:

openocd_flash(
    name = "main_flash",
    device_configs = [
        "target/stm32h7x_dual_bank.cfg",
    ],
    image = ":main",
    interface_configs = [
        "interface/stlink.cfg",
    ],
    transport = "hla_swd",
)

ATTRIBUTES

Name	Description	Type	Mandatory	Default
name	A unique name for this target.	Name	required
device_configs	openocd config path for chip/board, note that user defined configs are not suppported at this time	List of strings	optional	[]
flash_offset	The starting point of the flash memory	String	optional	"0x8000000"
image	Binary image to flash	Label	required
interface_configs	openocd config path for interface, note that user defined configs are not supported at this time	List of strings	optional	[]
programmer_frequency	The programming frequency of the adapter	String	optional	"24000"
transport	Debugger transport interface	String	optional	"hla_swd"

Edit this page on GitHub