Introduction to Embedded Systems Programming (Ada)
learn.adacore.com
Introduction to Embedded Systems Programming (Ada)
1–10 of 20 posts
Re: Introduction to Embedded Systems Programming (Ada)
#2Re: Introduction to Embedded Systems Programming (Ada)
#3AdaCore'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/
Re: Introduction to Embedded Systems Programming (Ada)
#4AdaCore'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/
Re: Introduction to Embedded Systems Programming (Ada)
#5Can someone speak, at a high-level, on how Ada manages memory? I'm gonna read the docs, but if anyone has a good explanation here, that would be appreciated!
In general, I'm interested in learning more about embedded languages that are not C/C++ or Rust. To give some context, my dream embedded language is one like F# or OCaml that can be embedded (i.e., has manual memory management or some other solution).
Re: Introduction to Embedded Systems Programming (Ada)
#6Re: Introduction to Embedded Systems Programming (Ada)
#7AdaCore'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/
This is really cool. Thanks for sharing this. Is this a workable solution for the Raspberry Pi or is it more of a proof of concept? I need to learn Ada, but I'm really not a fan of C/C++ or Python, so I haven't gotten to join in on the fun of the Pico, yet.
Pico Keys (https://www.tindie.com/products/fabien-c/pico-keys/) is a good example of a complex project built with rp2040_hal.
Note that this library is specific to the RP2040, not the larger Raspberry Pi boards. Some Ada drivers for those exist, but are not as well documented.
I also gave a short talk about some of the challenges I encountered earlier this year: https://youtu.be/Pwd9Q5ELAGM
Re: Introduction to Embedded Systems Programming (Ada)
#8This seems like a great tutorial for both Ada and embedded systems in general. I'm definitely going to have to check this out more. Can someone speak, at a high-level, on how Ada manages memory? I'm gonna read the docs, but if anyone has a good explanation here, that would be appreciated! In general, I'm interested in learning more about embedded languages that are not C/C++ or Rust. To give some context, my dream em…
Re: Introduction to Embedded Systems Programming (Ada)
#9This seems like a great tutorial for both Ada and embedded systems in general. I'm definitely going to have to check this out more. Can someone speak, at a high-level, on how Ada manages memory? I'm gonna read the docs, but if anyone has a good explanation here, that would be appreciated! In general, I'm interested in learning more about embedded languages that are not C/C++ or Rust. To give some context, my dream em…
If you haven't already, the Nerves Project which is an embedded systems/IoT platform based on Elixir, might interest you. https://www.nerves-project.org/