STM32 bindings for Ada language: register descriptions, startup routines etc.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Vovanium 735c083c48 * STM32.DMA2D: changed interrupt flags from record to array (so to logic operators be available) 2 weeks ago
build * moved compiled files to single subdirectory 3 months ago
examples * STM32.DMA2D: changed interrupt flags from record to array (so to logic operators be available) 2 weeks ago
source * STM32.DMA2D: changed interrupt flags from record to array (so to logic operators be available) 2 weeks ago
tools * Tools: Interrupts package generation in SVD parsing script 2 weeks ago
.gitignore + Tools: derived units generation 2 months ago
LICENSE Initial commit 3 years ago
Makefile * clear library variants: there is single library for a family (F4) now 4 months ago + Note about interrupt handling 2 weeks ago
stm32f4_library.gpr * moved compiled files to single subdirectory 3 months ago
todo-modules-f4 + STM32.WWDG 4 weeks ago


Ada bindings for STM32 internals

Design directions

Main design goal is a type safety. Specific enumerations and records are used in hardware definitions. Common structure of a peripherial module is a record with all its registers and every register is a record with all its fields. That is every field is addressed using scheme Unit.Register.Field

While it is generally preferred to have entities same identifiers as in STM's user manuals, it is not always possible. So some of them have originel or a bit changed name.

  • The identifier clashes with Ada keyword. E. g. ABORT bit-field is renamed to ABRT.
  • Identifier is not given by UM. This is common case for bit-field values. They taken descriptive names based on original UM text.
  • Identifier decomposition and generalization. Bitfield identifiers are shortened if they have common part. Also if two or more registers have same or analogous fields they commonly share the same record type, thus having same field names. Thus RCC's xxxRST, xxxEN and xxxLPEN registers a defined the same with RST/EN/LPEN part removed from their bit fields.

Compiler implication

System.Address should be standard 32 bit byte address as in CPU registers and peripherals (DMA etc.).

Development boards supported

stm32f429disco (stm32f429disc1) -- board available from STM. 429disco in examples.

STM32F407Z-based board from PiSwords. Widely available from chinese suppliers. 407z_piswords in examples.

Default values

Default values are given to register and their field according to following rules:

  • cleared by writing '0' (rc_w0) fields set to logic '1', that is True;
  • clered by writing '1' (rc_w1) field set to logic '0', that is False;
  • for read-only registers default values are not set;
  • when reset state is specified default is set to it;
  • there may be convenient to set default to some specific value, those cases are documented.

Current inconsistencies and importabilities

GNAT's System'To_Address attribute is used in peripherials definitions (STM32.model-name.Units packages). I currently cannot decide if Preelaborate is really needed there.

Common implementation notes


Interrupt handling in multitasked (Ravenscar) profiles require support from OS / RTL. That is, no interrupt definitions done there. Use Ada.Interrupts.Names to define interrupt handlers. This obviously limit the set of supported devices to ones supplied with compiler.

Interrupts in minimal (ZFP) profiles though do not require any system support as they fully handled by user code. However interrupt vector table should be implementer by the user too. For this maybe some constants will be set.

Hardware quirks and workarounds


APB does not support partial writes to 32-bit registers. The library provides access to register fields as records. This could lead compiler to emit byte and half-word writes to APB registers causing erroneous effects. As a workaround those registers should be read to local variable, this variable altered, and then written back to the hardware. GNAT users may not need the workaround, because of its pragma Volatile_Full_Access used in this library.

SVD conversion scripts

Put SVD data directory (e.g. STM32F4_svd_V1.2) under tools/imported_data directory. Scripts and makefile in tools/would convert it to .ads files (they obvously need editing, however compiled fine) and stripped text files needed primarily for comparisons.

Compiler specific notes

There are compiler-specific pragmas so your compiler may complain about them.


Volatile_Full_Access pragma is used on (at least writable) APB registers as byte- and half-wide writes are not supported by APB. Read STM docs on what those accesses actually do.

Currently GPR cannot manage aggregate projects for different targets. GNU Make script is used to build whole set of libraries instead.