Very interesting project:
This is different than Tinygo in that it is intended for high end CPUs with a MMU.