Spunky (Kernel written in Ada) #4: Kernel Timing

• cortex-gnat-rts

  7 60 2.7 Ada

  This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)

What I had in mind was the usage generated by AdaCore’s SVD2Ada, e.g. the register without the pragma, and the place in the wider data structure in which it’s used, with the pragma.

• Ada_Drivers_Library

  13 231 7.1 Ada

  Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

  

If you want to keep the values of all bits it's better to have a full declaration of the register with "Reserved" field for bits not covered. This is what our svd2ada [1] code generator does, e.g.: https://github.com/AdaCore/Ada_Drivers_Library/blob/0ccb49fb9ff53d0cf621b034a234fa3479576136/arch/ARM/Nordic/svd/nrf51/nrf_svd-gpio.ads#L430

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• svd2ada

  1 61 0.0 Ada

  An Ada binding generator from SVD descriptions for bare board ARM devices.

  

[1] https://github.com/AdaCore/svd2ada

Suggest a related project