Derived capabilities and integration matrix

tools/maintenance/capabilities.py derives this table by reading maintained soc.json, routes.json and reference-Board board.json, then running the production resolver/binding emitter on software assemblies. The table is not another configuration input. Capability changes start with original facts, implementation and regressions, then --write refreshes derived prose and --check rejects stale content.

  • Mode is a bounded SoC-declared mode; a mode without routes does not authorize connections.

  • Reviewed SoC routes describe maintained chip routes, not PCB continuity/electrical qualification.

  • Declared reference Boards means the Board has a binding, not that the default assembly enables it or physical acceptance passed.

  • Resolver fixtures are TOML software fixtures actually accepted by the current resolver.

  • Selected production source reads full ops identifiers from actual generated faces and matches initialized exported definitions in production C; comments, strings, declarations and similar prefixes are not definitions. This is bounded source-consistency evidence, not compilation/execution/physical measurement. Blank columns explicitly lack such evidence.

The table inherits no old-candidate qualification for new HEAD and infers no physical results. The three actual Boards are disconnected; HIL remains not_executed. Exact mode limits/ownership are in support scope.

python tools/maintenance/capabilities.py --check
python tools/maintenance/capabilities.py --write

SoC

Controller

Kind

Mode

Reviewed SoC routes

Declared reference Boards

Resolver fixtures

Selected production source

gd32f470

ADC0

adc

low-rate-scan

adc0-pa0-pa1

—

tests/contracts/gd32_assembly/adc-scan.toml

soc/gd32f470/drivers/adc.c

gd32f470

ADC0

adc

single-shot

adc0-pa0

—

tests/contracts/gd32_assembly/adc.toml

soc/gd32f470/drivers/adc.c

gd32f470

ADC0

adc

trigger-dma

adc0-pa0, adc0-pa0-pa1

—

tests/contracts/gd32_assembly/blocks.toml

soc/gd32f470/drivers/adc_stream.c

gd32f470

ADC0

adc

trigger-dma-continuous

adc0-pa0, adc0-pa0-pa1

—

tests/contracts/gd32_assembly/adc-continuous.toml

soc/gd32f470/drivers/adc_continuous.c

gd32f470

CAN0

can

classic-irq

can0-pa11-pa12

—

tests/contracts/can_assembly/gd32-both.toml, tests/contracts/can_assembly/gd32-first.toml

io/src/can_controller.c

gd32f470

CAN1

can

classic-irq

can1-pb12-pb13

—

tests/contracts/can_assembly/gd32-both.toml

io/src/can_controller.c

gd32f470

ENET

eth

raw-rmii

rmii-a-c-g

—

tests/contracts/ethernet_assembly/gd32-freertos.toml, tests/contracts/ethernet_assembly/gd32.toml

io/src/eth_mac.c

gd32f470

EXTI3

exti

edge-event

exti3-pe3

—

tests/contracts/gd32_assembly/exti.toml

soc/gd32f470/drivers/exti.c

gd32f470

FMC

flash

poll-word

physical-flash

gd32f470zg-liangshan

tests/contracts/gd32_assembly/flash.toml

soc/gd32f470/drivers/flash.c

gd32f470

FWDGT

watchdog

independent

independent-watchdog

gd32f470zg-liangshan

tests/contracts/gd32_assembly/watchdog.toml

soc/gd32f470/drivers/watchdog.c

gd32f470

GPIOB

gpio

input

—

—

—

—

gd32f470

GPIOB

gpio

output

gpiob0, gpiob1

—

—

—

gd32f470

GPIOD

gpio

input

gpiod7

gd32f470zg-liangshan

—

—

gd32f470

GPIOD

gpio

output

gpiod7

gd32f470zg-liangshan

tests/contracts/physical_platform_assembly/gd32-gpio.toml, tools/configure/assemblies/liangshan-baremetal-gpio.toml, tools/configure/assemblies/liangshan-baremetal.toml, tools/configure/assemblies/liangshan-freertos-gpio.toml, tools/configure/assemblies/liangshan-freertos.toml

soc/gd32f470/drivers/gpio.c

gd32f470

I2C0

i2c

dma-messages

i2c0-pb6-pb7

—

tests/contracts/gd32_assembly/i2c-dma.toml, tests/contracts/multi_controller_assembly/gd32-i2c-pair-freertos.toml, tests/contracts/multi_controller_assembly/gd32-i2c-pair.toml

soc/common/i2c_v1_async.c

gd32f470

I2C0

i2c

irq-messages

i2c0-pb6-pb7

—

tests/contracts/gd32_assembly/i2c-irq.toml, tests/contracts/multi_controller_assembly/gd32-i2c-pair-irq-freertos.toml, tests/contracts/multi_controller_assembly/gd32-i2c-pair-irq.toml

soc/common/i2c_v1_async.c

gd32f470

I2C0

i2c

poll-messages

i2c0-pb6-pb7

—

tests/contracts/gd32_assembly/blocks.toml, tests/contracts/gd32_assembly/dma.toml, tests/contracts/gd32_assembly/i2c.toml, tests/contracts/gd32_assembly/multi.toml

soc/gd32f470/drivers/i2c.c

gd32f470

I2C1

i2c

dma-messages

i2c1-pb10-pb11

—

tests/contracts/multi_controller_assembly/gd32-freertos.toml, tests/contracts/multi_controller_assembly/gd32-i2c-pair-freertos.toml, tests/contracts/multi_controller_assembly/gd32-i2c-pair.toml, tests/contracts/multi_controller_assembly/gd32.toml

soc/common/i2c_v1_async.c

gd32f470

I2C1

i2c

irq-messages

i2c1-pb10-pb11

—

tests/contracts/multi_controller_assembly/gd32-i2c-pair-irq-freertos.toml, tests/contracts/multi_controller_assembly/gd32-i2c-pair-irq.toml

soc/common/i2c_v1_async.c

gd32f470

I2C1

i2c

poll-messages

i2c1-pb10-pb11

—

tests/contracts/gd32_assembly/blocks.toml, tests/contracts/gd32_assembly/dma.toml, tests/contracts/gd32_assembly/multi.toml

soc/gd32f470/drivers/i2c.c

gd32f470

SPI0

spi

dma-full-duplex

spi0-pa5-pa7

—

tests/contracts/multi_controller_assembly/gd32-freertos.toml, tests/contracts/multi_controller_assembly/gd32.toml

soc/gd32f470/drivers/spi_dma.c

gd32f470

SPI0

spi

short-poll

spi0-pa5-pa7

—

tests/contracts/gd32_assembly/blocks.toml, tests/contracts/gd32_assembly/dma.toml, tests/contracts/gd32_assembly/multi.toml

soc/gd32f470/drivers/spi.c

gd32f470

SPI4

spi

dma-full-duplex

spi4-pf6-pf9

gd32f470zg-liangshan

tests/contracts/gd32_assembly/blocks.toml, tests/contracts/gd32_assembly/dma.toml, tests/contracts/multi_controller_assembly/gd32-freertos.toml, tests/contracts/multi_controller_assembly/gd32.toml

soc/gd32f470/drivers/spi_dma.c

gd32f470

SPI4

spi

short-poll

spi4-pf6-pf9

gd32f470zg-liangshan

tests/contracts/gd32_assembly/multi.toml, tests/contracts/gd32_assembly/spi.toml, tools/configure/assemblies/liangshan-baremetal-spi.toml, tools/configure/assemblies/liangshan-freertos-spi.toml

soc/gd32f470/drivers/spi.c

gd32f470

TIMER0

advanced_pwm

complementary-pwm

complementary-pa8-pb12-pb13

—

tests/contracts/timer_assembly/gd32-freertos.toml, tests/contracts/timer_assembly/gd32.toml

soc/gd32f470/drivers/advanced_pwm.c

gd32f470

TIMER2

pwm

fixed-pwm

timer2-pa6

—

tests/contracts/gd32_assembly/pwm.toml

soc/gd32f470/drivers/timer.c

gd32f470

TIMER3

timer_capture

edge-capture

capture-pb6

—

tests/contracts/timer_assembly/gd32-freertos.toml, tests/contracts/timer_assembly/gd32.toml

soc/gd32f470/drivers/timer_capture.c

gd32f470

USART0

uart

dma-duplex

usart0-pa9-pa10

gd32f470zg-liangshan

tests/contracts/gd32_assembly/dma-duplex.toml

soc/gd32f470/drivers/uart_receive.c

gd32f470

USART0

uart

dma-duplex-continuous

usart0-pa9-pa10

gd32f470zg-liangshan

tests/contracts/gd32_assembly/dma-duplex-continuous.toml

soc/gd32f470/drivers/uart_receive.c

gd32f470

USART0

uart

dma-tx

usart0-pa9-pa10

gd32f470zg-liangshan

tests/contracts/gd32_assembly/blocks.toml, tests/contracts/gd32_assembly/dma.toml, tests/contracts/multi_controller_assembly/gd32-freertos.toml, tests/contracts/multi_controller_assembly/gd32.toml

soc/gd32f470/drivers/uart_dma.c

gd32f470

USART0

uart

irq-blocks

usart0-pa9-pa10

gd32f470zg-liangshan

—

—

gd32f470

USART0

uart

irq-byte-event

usart0-pa9-pa10

gd32f470zg-liangshan

tests/contracts/gd32_assembly/multi.toml, tools/configure/assemblies/liangshan-baremetal-uart.toml, tools/configure/assemblies/liangshan-baremetal.toml, tools/configure/assemblies/liangshan-freertos-uart.toml, tools/configure/assemblies/liangshan-freertos.toml

soc/gd32f470/drivers/uart.c

gd32f470

USART0

uart

rx-dma-continuous

usart0-pa9-pa10

gd32f470zg-liangshan

tests/contracts/gd32_assembly/rx-dma-continuous.toml

soc/gd32f470/drivers/uart_receive.c

gd32f470

USART0

uart

rx-dma-idle

usart0-pa9-pa10

gd32f470zg-liangshan

tests/contracts/gd32_assembly/rx-dma-idle.toml

soc/gd32f470/drivers/uart_receive.c

gd32f470

USART1

uart

dma-tx

usart1-pa2-pa3

—

tests/contracts/multi_controller_assembly/gd32-freertos.toml, tests/contracts/multi_controller_assembly/gd32.toml

soc/gd32f470/drivers/uart_dma.c

gd32f470

USART1

uart

irq-blocks

usart1-pa2-pa3

—

tests/contracts/gd32_assembly/blocks.toml

soc/gd32f470/drivers/uart_stream.c

gd32f470

USART1

uart

irq-byte-event

usart1-pa2-pa3

—

tests/contracts/gd32_assembly/dma.toml, tests/contracts/gd32_assembly/multi.toml

soc/gd32f470/drivers/uart.c

gd32f470

USBFS

usb_device

device-fs

usbfs-pa11-pa12

—

tests/contracts/usb_assembly/gd32-freertos.toml, tests/contracts/usb_assembly/gd32.toml

io/src/usb_device_controller.c

stm32f407

ADC1

adc

low-rate-scan

adc1-ch0-pa0, adc1-scan-pa0-pa1

—

tests/contracts/stm32_assembly/ve-adc-scan.toml, tests/contracts/stm32_assembly/zg-adc-scan.toml

soc/stm32f407/drivers/adc.c

stm32f407

ADC1

adc

single-shot

adc1-ch0-pa0

—

tests/contracts/stm32_assembly/ve-adc.toml, tests/contracts/stm32_assembly/zg-adc.toml

soc/stm32f407/drivers/adc.c

stm32f407

ADC1

adc

trigger-dma

adc1-ch0-pa0, adc1-scan-pa0-pa1

—

tests/contracts/stm32_assembly/ve-blocks.toml, tests/contracts/stm32_assembly/zg-blocks.toml

soc/stm32f407/drivers/adc_stream.c

stm32f407

ADC1

adc

trigger-dma-continuous

adc1-ch0-pa0, adc1-scan-pa0-pa1

—

tests/contracts/stm32_assembly/zg-adc-continuous.toml

soc/stm32f407/drivers/adc_continuous.c

stm32f407

CAN1

can

classic-irq

can1-pa11-pa12

stm32f407zg-qiming-v31

tests/contracts/can_assembly/stm32-both.toml, tests/contracts/can_assembly/stm32-first.toml

io/src/can_controller.c

stm32f407

CAN2

can

classic-irq

can2-pb12-pb13

stm32f407zg-qiming-v31

tests/contracts/can_assembly/stm32-both.toml

io/src/can_controller.c

stm32f407

ETH

eth

raw-rmii

rmii-a-c-g

—

tests/contracts/ethernet_assembly/stm32-zg-freertos.toml, tests/contracts/ethernet_assembly/stm32-zg.toml

io/src/eth_mac.c

stm32f407

EXTI0

exti

edge-event

exti0-pa0

—

—

—

stm32f407

EXTI5

exti

edge-event

exti5-pa5

—

tests/contracts/stm32_assembly/ve-exti.toml, tests/contracts/stm32_assembly/zg-exti.toml

soc/stm32f407/drivers/exti.c

stm32f407

EXTI6

exti

edge-event

exti6-pa6

—

tests/contracts/stm32_assembly/ve-exti.toml, tests/contracts/stm32_assembly/zg-exti.toml

soc/stm32f407/drivers/exti.c

stm32f407

FLASH

flash

poll-word

flash-internal

stm32f407ve-sky-qingchun, stm32f407zg-qiming-v31

tests/contracts/stm32_assembly/ve-flash.toml, tests/contracts/stm32_assembly/zg-flash.toml

soc/stm32f407/drivers/flash.c

stm32f407

GPIOA

gpio

input

—

—

—

—

stm32f407

GPIOA

gpio

output

—

—

—

—

stm32f407

GPIOB

gpio

input

—

—

—

—

stm32f407

GPIOB

gpio

output

gpio-pb2

stm32f407ve-sky-qingchun

tools/configure/assemblies/sky-baremetal-gpio.toml, tools/configure/assemblies/sky-baremetal.toml, tools/configure/assemblies/sky-freertos-gpio.toml, tools/configure/assemblies/sky-freertos.toml

soc/stm32f407/drivers/gpio.c

stm32f407

GPIOE

gpio

input

—

—

—

—

stm32f407

GPIOE

gpio

output

gpio-pe3, gpio-pe4

stm32f407zg-qiming-v31

tests/contracts/physical_platform_assembly/stm32-gpio.toml, tools/configure/assemblies/qiming-baremetal-gpio.toml, tools/configure/assemblies/qiming-baremetal.toml, tools/configure/assemblies/qiming-freertos-gpio.toml, tools/configure/assemblies/qiming-freertos.toml

soc/stm32f407/drivers/gpio.c

stm32f407

GPIOG

gpio

input

—

—

—

—

stm32f407

GPIOG

gpio

output

gpio-pg9

stm32f407zg-qiming-v31

—

—

stm32f407

I2C1

i2c

dma-messages

i2c1-pb6-pb7

—

tests/contracts/multi_controller_assembly/stm32-ve-i2c-pair-freertos.toml, tests/contracts/multi_controller_assembly/stm32-ve-i2c-pair.toml, tests/contracts/multi_controller_assembly/stm32-zg-i2c-pair-freertos.toml, tests/contracts/multi_controller_assembly/stm32-zg-i2c-pair.toml, tests/contracts/stm32_assembly/zg-i2c-dma.toml

soc/common/i2c_v1_async.c

stm32f407

I2C1

i2c

irq-messages

i2c1-pb6-pb7

—

tests/contracts/multi_controller_assembly/stm32-ve-i2c-pair-irq-freertos.toml, tests/contracts/multi_controller_assembly/stm32-ve-i2c-pair-irq.toml, tests/contracts/multi_controller_assembly/stm32-zg-i2c-pair-irq-freertos.toml, tests/contracts/multi_controller_assembly/stm32-zg-i2c-pair-irq.toml, tests/contracts/stm32_assembly/zg-i2c-irq.toml

soc/common/i2c_v1_async.c

stm32f407

I2C1

i2c

poll-messages

i2c1-pb6-pb7

—

tests/contracts/stm32_assembly/ve-i2c.toml, tests/contracts/stm32_assembly/zg-i2c.toml

soc/stm32f407/drivers/i2c.c

stm32f407

I2C2

i2c

dma-messages

i2c2-pb10-pb11

—

tests/contracts/multi_controller_assembly/stm32-ve-freertos.toml, tests/contracts/multi_controller_assembly/stm32-ve-i2c-pair-freertos.toml, tests/contracts/multi_controller_assembly/stm32-ve-i2c-pair.toml, tests/contracts/multi_controller_assembly/stm32-ve.toml, tests/contracts/multi_controller_assembly/stm32-zg-freertos.toml, tests/contracts/multi_controller_assembly/stm32-zg-i2c-pair-freertos.toml, tests/contracts/multi_controller_assembly/stm32-zg-i2c-pair.toml, tests/contracts/multi_controller_assembly/stm32-zg.toml

soc/common/i2c_v1_async.c

stm32f407

I2C2

i2c

irq-messages

i2c2-pb10-pb11

—

tests/contracts/multi_controller_assembly/stm32-ve-i2c-pair-irq-freertos.toml, tests/contracts/multi_controller_assembly/stm32-ve-i2c-pair-irq.toml, tests/contracts/multi_controller_assembly/stm32-zg-i2c-pair-irq-freertos.toml, tests/contracts/multi_controller_assembly/stm32-zg-i2c-pair-irq.toml

soc/common/i2c_v1_async.c

stm32f407

IWDG

watchdog

independent

iwdg

stm32f407ve-sky-qingchun, stm32f407zg-qiming-v31

tests/contracts/stm32_assembly/ve-watchdog.toml, tests/contracts/stm32_assembly/zg-watchdog.toml

soc/stm32f407/drivers/watchdog.c

stm32f407

OTG_FS

usb_device

device-fs

usbfs-pa11-pa12

—

tests/contracts/usb_assembly/stm32-ve-freertos.toml, tests/contracts/usb_assembly/stm32-ve.toml, tests/contracts/usb_assembly/stm32-zg-freertos.toml, tests/contracts/usb_assembly/stm32-zg.toml

io/src/usb_device_controller.c

stm32f407

SPI1

spi

dma

spi1-pa5-pa6-pa7

—

tests/contracts/multi_controller_assembly/stm32-ve-freertos.toml, tests/contracts/multi_controller_assembly/stm32-ve.toml, tests/contracts/multi_controller_assembly/stm32-zg-freertos.toml, tests/contracts/multi_controller_assembly/stm32-zg.toml, tests/contracts/stm32_assembly/ve-blocks.toml, tests/contracts/stm32_assembly/ve-dma.toml, tests/contracts/stm32_assembly/zg-blocks.toml, tests/contracts/stm32_assembly/zg-dma.toml

soc/stm32f407/drivers/spi_dma.c

stm32f407

SPI1

spi

short-poll

spi1-pa5-pa6-pa7

—

tests/contracts/stm32_assembly/ve-spi.toml, tests/contracts/stm32_assembly/zg-spi.toml

soc/stm32f407/drivers/spi.c

stm32f407

SPI2

spi

dma

spi2-pb13-pb14-pb15

—

tests/contracts/multi_controller_assembly/stm32-ve-freertos.toml, tests/contracts/multi_controller_assembly/stm32-ve.toml, tests/contracts/multi_controller_assembly/stm32-zg-freertos.toml, tests/contracts/multi_controller_assembly/stm32-zg.toml

soc/stm32f407/drivers/spi_dma.c

stm32f407

TIM1

advanced_pwm

complementary-pwm

complementary-pa8-pb12-pb13

—

tests/contracts/timer_assembly/stm32-ve-freertos.toml, tests/contracts/timer_assembly/stm32-ve.toml, tests/contracts/timer_assembly/stm32-zg-freertos.toml, tests/contracts/timer_assembly/stm32-zg.toml

soc/stm32f407/drivers/advanced_pwm.c

stm32f407

TIM3

pwm

fixed-pwm

tim3-ch1-pa6

—

tests/contracts/stm32_assembly/ve-pwm.toml, tests/contracts/stm32_assembly/zg-pwm.toml

soc/stm32f407/drivers/timer.c

stm32f407

TIM4

timer_capture

edge-capture

capture-pb6

—

tests/contracts/timer_assembly/stm32-ve-freertos.toml, tests/contracts/timer_assembly/stm32-ve.toml, tests/contracts/timer_assembly/stm32-zg-freertos.toml, tests/contracts/timer_assembly/stm32-zg.toml

soc/stm32f407/drivers/timer_capture.c

stm32f407

USART1

uart

dma-duplex

usart1-pa9-pa10

stm32f407ve-sky-qingchun, stm32f407zg-qiming-v31

tests/contracts/stm32_assembly/zg-dma-duplex.toml

soc/stm32f407/drivers/uart_receive.c

stm32f407

USART1

uart

dma-duplex-continuous

usart1-pa9-pa10

stm32f407ve-sky-qingchun, stm32f407zg-qiming-v31

tests/contracts/stm32_assembly/zg-dma-duplex-continuous.toml

soc/stm32f407/drivers/uart_receive.c

stm32f407

USART1

uart

dma-tx

usart1-pa9-pa10

stm32f407ve-sky-qingchun, stm32f407zg-qiming-v31

tests/contracts/multi_controller_assembly/stm32-ve-freertos.toml, tests/contracts/multi_controller_assembly/stm32-ve.toml, tests/contracts/multi_controller_assembly/stm32-zg-freertos.toml, tests/contracts/multi_controller_assembly/stm32-zg.toml, tests/contracts/stm32_assembly/ve-dma.toml, tests/contracts/stm32_assembly/zg-dma.toml

soc/stm32f407/drivers/uart_dma.c

stm32f407

USART1

uart

irq-blocks

usart1-pa9-pa10

stm32f407ve-sky-qingchun, stm32f407zg-qiming-v31

tests/contracts/stm32_assembly/ve-blocks.toml, tests/contracts/stm32_assembly/zg-blocks.toml

soc/stm32f407/drivers/uart_stream.c

stm32f407

USART1

uart

irq-byte-event

usart1-pa9-pa10

stm32f407ve-sky-qingchun, stm32f407zg-qiming-v31

tools/configure/assemblies/qiming-baremetal-uart.toml, tools/configure/assemblies/qiming-baremetal.toml, tools/configure/assemblies/qiming-freertos-uart.toml, tools/configure/assemblies/qiming-freertos.toml, tools/configure/assemblies/sky-baremetal-uart.toml, tools/configure/assemblies/sky-baremetal.toml, tools/configure/assemblies/sky-freertos-uart.toml, tools/configure/assemblies/sky-freertos.toml

soc/stm32f407/drivers/uart.c

stm32f407

USART1

uart

rx-dma-continuous

usart1-pa9-pa10

stm32f407ve-sky-qingchun, stm32f407zg-qiming-v31

tests/contracts/stm32_assembly/zg-rx-dma-continuous.toml

soc/stm32f407/drivers/uart_receive.c

stm32f407

USART1

uart

rx-dma-idle

usart1-pa9-pa10

stm32f407ve-sky-qingchun, stm32f407zg-qiming-v31

tests/contracts/stm32_assembly/zg-rx-dma-idle.toml

soc/stm32f407/drivers/uart_receive.c

stm32f407

USART2

uart

dma-tx

usart2-pa2-pa3

—

tests/contracts/multi_controller_assembly/stm32-ve-freertos.toml, tests/contracts/multi_controller_assembly/stm32-ve.toml, tests/contracts/multi_controller_assembly/stm32-zg-freertos.toml, tests/contracts/multi_controller_assembly/stm32-zg.toml

soc/stm32f407/drivers/uart_dma.c

stm32g474

EXTI0

exti

edge-event

exti0-pa0

—

tests/contracts/g474_assembly/exti-freertos.toml, tests/contracts/g474_assembly/exti.toml

soc/stm32g474/drivers/exti.c

stm32g474

EXTI1

exti

edge-event

exti1-pa1

—

tests/contracts/g474_assembly/exti-freertos.toml, tests/contracts/g474_assembly/exti.toml

soc/stm32g474/drivers/exti.c

stm32g474

GPIOA

gpio

input

gpio-pa5

stm32g474re-hse24-reference

—

—

stm32g474

GPIOA

gpio

output

gpio-pa5

stm32g474re-hse24-reference

tests/contracts/g474_assembly/io-freertos.toml, tests/contracts/g474_assembly/io.toml

soc/stm32g474/drivers/gpio.c

stm32g474

LPUART1

uart

irq-bytes

lpuart1-pa2-pa3

stm32g474re-hse24-reference

tests/contracts/g474_assembly/io-freertos.toml, tests/contracts/g474_assembly/io.toml

soc/stm32g474/drivers/uart.c

stm32h743

GPIOB

gpio

input

gpio-pb0

stm32h743-nucleo-zi2

—

—

stm32h743

GPIOB

gpio

output

gpio-pb0

stm32h743-nucleo-zi2

tests/contracts/h743_assembly/dma-cache-freertos.toml, tests/contracts/h743_assembly/dma-cache.toml, tests/contracts/h743_assembly/dma-freertos.toml, tests/contracts/h743_assembly/dma.toml, tests/contracts/h743_assembly/dma32-cache-freertos.toml, tests/contracts/h743_assembly/dma32-cache.toml, tests/contracts/h743_assembly/dma32-freertos.toml, tests/contracts/h743_assembly/dma32.toml, tests/contracts/h743_assembly/io-freertos.toml, tests/contracts/h743_assembly/io.toml, tools/configure/assemblies/nucleo-h743-baremetal-uart.toml, tools/configure/assemblies/nucleo-h743-freertos-uart.toml

soc/stm32h743/drivers/gpio.c

stm32h743

USART3

uart

dma-tx

usart3-pd8-pd9

stm32h743-nucleo-zi2

tests/contracts/h743_assembly/dma-cache-freertos.toml, tests/contracts/h743_assembly/dma-cache.toml, tests/contracts/h743_assembly/dma-freertos.toml, tests/contracts/h743_assembly/dma.toml, tests/contracts/h743_assembly/dma32-cache-freertos.toml, tests/contracts/h743_assembly/dma32-cache.toml, tests/contracts/h743_assembly/dma32-freertos.toml, tests/contracts/h743_assembly/dma32.toml

soc/stm32h743/drivers/uart_dma.c

stm32h743

USART3

uart

irq-bytes

usart3-pd8-pd9

stm32h743-nucleo-zi2

tests/contracts/h743_assembly/io-freertos.toml, tests/contracts/h743_assembly/io.toml, tools/configure/assemblies/nucleo-h743-baremetal-uart.toml, tools/configure/assemblies/nucleo-h743-freertos-uart.toml

soc/stm32h743/drivers/uart.c

stm32u575

GPIOC

gpio

input

gpio-pc7

stm32u575-nucleo-zi-q

—

—

stm32u575

GPIOC

gpio

output

gpio-pc7

stm32u575-nucleo-zi-q

tests/contracts/u575_assembly/io-freertos.toml, tests/contracts/u575_assembly/io.toml, tools/configure/assemblies/nucleo-u575-baremetal-uart.toml, tools/configure/assemblies/nucleo-u575-freertos-uart.toml

soc/stm32u575/drivers/gpio.c

stm32u575

USART1

uart

irq-bytes

usart1-pa9-pa10

stm32u575-nucleo-zi-q

tests/contracts/u575_assembly/io-freertos.toml, tests/contracts/u575_assembly/io.toml, tools/configure/assemblies/nucleo-u575-baremetal-uart.toml, tools/configure/assemblies/nucleo-u575-freertos-uart.toml

soc/stm32u575/drivers/uart.c