Honestly, impressive work. Getting any language on bare metal is hard work.

That said is Ada Spark toolchain proprietary still?