||2 weeks ago|
|build||3 months ago|
|examples||2 weeks ago|
|source||2 weeks ago|
|tools||2 weeks ago|
|.gitignore||2 months ago|
|LICENSE||3 years ago|
|Makefile||4 months ago|
|README.md||2 weeks ago|
|stm32f4_library.gpr||3 months ago|
|todo-modules-f4||4 weeks ago|
Ada bindings for STM32 internals
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
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.
ABORTbit-field is renamed to
- 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.
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 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.
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.