rp2040_hal
BBS-BBB-Ada
Our great sponsors
rp2040_hal | BBS-BBB-Ada | |
---|---|---|
9 | 2 | |
34 | 7 | |
- | - | |
7.4 | 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.
rp2040_hal
-
Ada targeting RPI
You can go bare metal for the raspberry pico. Maybe it's also interesting to you: https://pico-doc.synack.me/
-
New release of vscode extension For Ada 23.0.15
In this release we improved Alire integration. Now you don't need the compiler to be in the PATH (only alr) when you are working with a crate, because Alire will configure it for you. Suppose you setup a crate for Rasperry Pico, if you open it in VS Code, then navigation should work out of the box. Also any Alire configuration is skipped altogether if the VSCode was launched with alr edit or alr exec.
-
Any recommendations for a newbie to get into embedded Ada?
If you want a more modern processor, pick the RPI Nano. You find extensive doc here: https://pico-doc.synack.me/
-
Using something else than C - neverending problems (AVR/ARM)
Ada on Raspberry Pi Pico website ( https://pico-doc.synack.me/)
-
Introduction to Embedded Systems Programming (Ada)
AdaCore's docs are fantastic for understanding why things are done the way they are. However, when I'm learning a new platform or language I prefer to see a lot of practical examples first. That's what I tried to do with my "Ada on the Raspberry Pi Pico" project:
https://pico-doc.synack.me/
- when to choose stm32 MCUs over a raspberry pi Pico ?
- Ada on the Raspberry Pi RP2040 (video presentation)
- An Embedded USB Device Stack in Ada
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?
svd2nim - Convert CMSIS ARM SVD files to nim register memory mappings
Ada_Drivers_Library - Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
pico_examples - Ada examples for the Raspberry Pi Pico
ob-ada-spark
usb_embedded - An Ada USB stack for embedded devices
als-alire-index - An Alire index to build ada_language_server
AdaDoom3 - Id Software's Id-tech-4-BFG in the Ada programming language.
Pi-Mainframe - Simulated mainframe computer based on a Raspberry Pi
nephyr - Nim wrapper for Zephyr
ada_language_server - Server implementing the Microsoft Language Protocol for Ada and SPARK
cl-gpio - A library for the Linux GPIO kernel module as used on hobby kits such as the Raspberry Pi