First of all, a disclaimer that I have no idea what I'm getting myself into. I have no previous experience with embedded programming, and only a little experience with Ada, however I do have a few years of experience with programming in other languages.
Secondly, just wanted to specify that I'm on Linux (more specifically on the Manjaro Linux so some things (for example some aur packages) do not work :D), and I've alire and GNAT Studio installed by simply downloading the binaries (because the aur versions had some issues).

For the last few days I've been trying to research some of the basics of embedded Ada but I'm having trouble with choosing the microcontroller board and setting up the environment for it. At the moment I simply want something cheap like an Arduino, so I checked if it is supported and there apparently is something called AVR-Ada, however I do not understand if it's really needed and/or if there are any alternatives, furthermore I also do not exactly understand how to set it up, especially since in the wiki there seems to be a mention of building a compiler for some reason and that confuses me even more because alire already provides that I think?

So, should I choose Arduino? What's the deal with AVR-Ada? Any other recommendations or things I should know?