@whitequark I didn't design the build system but needless to say the project (micropython) cares a lot about cross builds.