This repository contains drivers and sample projects to program micro-controllers with the Ada and SPARK languages. The library also provides some middleware services and drivers for external devices such as sensors. We intend this to be a location for both AdaCore and the community in general to contribute support for additional processors, platforms, and vendors.

Ada_Drivers_Library provides support for various devices in the ARM Cortex-M and RISC-V architectures. Some devices are only partially supported. Go to the boards directory for a list of supported hardware.

To start using the Ada_Drivers_Library, please go to the examples directory where you will find instructions to run your first project.

All files are provided under a 3-clause Berkeley Software Distribution (BSD) license. As such, and within the conditions required by the license, the files are available both for proprietary ("commercial") and non-proprietary use.

For details, see the LICENSE file in the root directory.

The software is written in Ada 2012 and uses, for example, preconditions, postconditions, and the high-level iterator form of for-loops.

In addition, a GNAT implementation-defined pragma is used extensively. This pragma makes it possible to avoid explicit temporary copies when assigning components of types representing hardware registers requiring full word or full half-word accesses. The pragma is named Volatile_Full_Access. Those persons wishing to submit additions to the library should see the GNAT Reference Manual for details.

Therefore, building with the sources requires a compiler supporting both Ada 2012 and the GNAT-defined pragma Volatile_Full_Access. For instance a recent GNAT Pro compiler or GNAT Community 2018 for ARM ELF or RISC-V ELF (Download here).

Here is a list of projects that we are either dreaming about or already working on. If you are interested by one of those, please contact us on the project's GitHub page.

• ARM
• STM32F4/7 USB drivers
• Components
• BlueNRG-MS (Bluetooth Low Energy Network Processor)
• Services
• Bluetooth Low Energy stack
• USB stack

• Certyflie: Ada/SPARK flight controller for the Crazyflie 2.0
• ACNC: A Gcode interpreter and CNC controller
• AMCQ: Multiple Choice Questions candy dispenser
• Giza: Giza is trying to be a simple widget tool kit for embedded platforms
• solenoid-engine-controller: Software controller for solenoid engines
• un_pola: DIY instant camera with OpenMV
• bare metal demos: Various Ada Demos on STM32*-Disco boards using this library
• SPARK Railway Demo: Simulated railway network in SPARK/Ada
• NXT Lego Robotics: Ada drivers and demos for Lego NXT sensors and motors
• Bosch 9DOF IMU demo: Bosch 9DOF IMU driving a 3-D model of a lunar lander
• Bare metal sudoku solver
• Demo of an Ada physics engine
• High Integrity Sumobot: A fully functional sumobot written in Ada/SPARK
• RC Car: A remotely-controlled car built without the NXT Brick, written completely in Ada and SPARK

(Add yours to the list!)