The following HighTec compiler is supported:
Additional Notes
Runtime testing is achieved by having the compiler generate aarch32 linux binaries.