Ada_Drivers_Library
BBS-BBB-Ada
Ada_Drivers_Library | BBS-BBB-Ada | |
---|---|---|
13 | 2 | |
232 | 7 | |
1.7% | - | |
7.1 | 5.3 | |
2 months ago | 3 months ago | |
Ada | Ada | |
BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 only |
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.
Ada_Drivers_Library
- "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.
BBS-BBB-Ada
-
Programming the Raspberry Pi GPIO pins using Common Lisp?
I had a similar problem trying to use them using Ada. The solution that I found used the /sys filesystem (though u/excogitatio below says that that's deprecated). The specific paths that I found for the pins are in https://github.com/BrentSeidel/BBS-BBB-Ada/blob/master/src/bbs-embed-rpi.ads and how I used them is in https://github.com/BrentSeidel/BBS-BBB-Ada/blob/master/src/linux/bbs-embed-gpio-linux.adb. If you're willing to wade through Ada code, you may find other interesting things in that project.
-
December 2021 What Are You Working On?
I picked up a MCP4725 I2C DAC and an ADS1015 I2C ADC from AdaFruit and plan to write drivers for them for my personal driver library (as a side note, if anyone wants to move any of these to the Ada Driver Library, feel free). I am thinking of using these to add another module to my Raspberry Pi Mainframe Simulator so that I can have some knobs and a meter doing important looking things.
What are some alternatives?
qoi - The “Quite OK Image Format” for fast, lossless image compression
ob-ada-spark
alire - Command-line tool from the Alire project and supporting library
als-alire-index - An Alire index to build ada_language_server
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)
Pi-Mainframe - Simulated mainframe computer based on a Raspberry Pi
pico_examples - Ada examples for the Raspberry Pi Pico
usb_embedded - An Ada USB stack for embedded devices
rp2040_hal - Ada drivers for the Raspberry Pi RP2040 SoC
svd2ada - An Ada binding generator from SVD descriptions for bare board ARM devices.
cl-gpio - A library for the Linux GPIO kernel module as used on hobby kits such as the Raspberry Pi