GNAT社区2018单片机(ARM ELF)版,可以用Ada语言或其他语言来做硬件开发了。