Genode OS is adding Pine Allwinner A64 with the intention to eventually support the PinePhone by end of 2021.
A detailed blog describes the journey.
Based on the CM/P Turbo Modula 2 this implements a re-engineered version to run in a 64K virtual machine on any platform. Small enough to fit on almost every micro-controller like AVR.
To use Ada (or any other programming language for that matter) on a new embedded device you often need quite a lot of technical bit fiddling.
This article shows how to get a simple Ada programme quickly ready for most ARM Cortex-4 devices, even new once.
A prototype system based on a ARM Cortex-M7 to inspect the quality of COVID-19 masks
