cortex-gnat-rts
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) (by simonjwright)
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT. (by AdaCore)
Our great sponsors
| cortex-gnat-rts | Ada_Drivers_Library | |
|---|---|---|
| 7 | 13 | |
| 60 | 231 | |
| - | 3.5% | |
| 2.7 | 7.1 | |
| about 1 year ago | about 2 months ago | |
| Ada | Ada | |
| GNU General Public License v3.0 only | BSD 3-clause "New" or "Revised" License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
cortex-gnat-rts
Posts with mentions or reviews of cortex-gnat-rts.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-12-12.
-
Writing Startup Code for STM32 in Completely Ada
Also, u/simonjwright 's cortex-gnat-rts was most helpful.
-
Define project-wide allocator on bare application.
You could look at providing your own version of System.Memory - this was easy enough in an embedded system with a restricted runtime, but much hairier in full Ada.
-
Ada on ESP32 and FreeRTOS
It includes a customized GNAT RunTime (besed on cortex-gnat-rts) and a ESP32 toolchain binaries. It's integrated in Espressif IoT Development Framework build system.
-
Clarification on Finalization
I looked into finalization without exceptions for Cortex GNAT RTS, branch finalization, not touched since 2018; not too difficult (largely reinstating stuff I’d cut out because of restriction No_Finalization).
-
Spunky (Kernel written in Ada) #4: Kernel Timing
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.
-
Array copies on bare metal using GNU GNAT generate library calls
This code, which I unthinkingly wrote thinking "how clever!", in fact calls memcpy() and memset() under the hood, which works because the compiler was built including Newlib.
-
Please explain secondary stack to a C programmer!
.. and a simple version here.
Ada_Drivers_Library
Posts with mentions or reviews of Ada_Drivers_Library.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-04-06.
- "No way to prevent this" say users of only language where this regularly happens
-
How to get the ARM toolchain up and running?
Hi, I'm trying to compile any example from the project Ada_Drivers_Library, but it seems that I can't get the toolchain correctly installed:
- Using Rust for Embedded Development
- To autosar or not to autosar
-
December 2022 What Are You Working On?
Trying to fix a problem with the accelerometer, actually with TWI (a.k.a. I2C) on BBC Micro:bit (v1): PR raised.
- when to choose stm32 MCUs over a raspberry pi Pico ?
-
November 2022 What Are You Working On?
Tried to work out why TWI (Nordic’s I2C) doesn’t work on BBC micro:bit (v1.3b, anyway). Failed, so far.
-
July 2022 What Are You Working On?
Spent days to make MAG3110 work on Micro:bit, but then Fabien told me that it has been fixed in April. It appears that my local clone of Ada Drivers Library wasn't updated! :(
-
December 2021 What Are You Working On?
Got I2C & SPI drivers for the LPS25H barometric sensor accepted in the Ada Drivers Library.
-
How do I get started with programming microcontrollers with Ada?
You could take a look into the Ada_Drivers_Library. It provides BSPs and examples for different boards, so that's an easy way to get started. For the start you could get any of the boards supported there, depending on the hardware features you want to have.
What are some alternatives?
When comparing cortex-gnat-rts and Ada_Drivers_Library you can also consider the following projects:
esp32-gnat-rts - 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
qoi - The “Quite OK Image Format” for fast, lossless image compression
svd2ada - An Ada binding generator from SVD descriptions for bare board ARM devices.
alire - Command-line tool from the Alire project and supporting library
ada-spark-rfcs - Platform to submit RFCs for the Ada & SPARK languages
ob-ada-spark
bingada - Bingo application in GTKAda
usb_embedded - An Ada USB stack for embedded devices
gcc
ada-spark-rfcs - Platform to submit RFCs for the Ada & SPARK languages
als-alire-index - An Alire index to build ada_language_server
cortex-gnat-rts vs esp32-gnat-rts
Ada_Drivers_Library vs qoi
cortex-gnat-rts vs svd2ada
Ada_Drivers_Library vs alire
cortex-gnat-rts vs ada-spark-rfcs
Ada_Drivers_Library vs ob-ada-spark
cortex-gnat-rts vs bingada
Ada_Drivers_Library vs usb_embedded
cortex-gnat-rts vs gcc
Ada_Drivers_Library vs svd2ada
cortex-gnat-rts vs ada-spark-rfcs
Ada_Drivers_Library vs als-alire-index