1
Ada learn: Introduction to Embedded Systems Programming
(learn.adacore.com)
About embedded programming, micro controllers, ARM Cortex M, RISC-V, Arduino, Micro:Bit, etc.