> We might need to have multiple ARM builds for its microarchitectures. Nitpick: it is by definition not needed to have different build for different microarch

> We might need to have multiple ARM builds for its microarchitectures. Nitpick: it is by definition not needed to have different build for different microarchitectures (except maybe for performance). If the same code doesn't work on different chips, it's because they have different ('versions of') instruction set architectures. Edit: nevermind, on rereading, you were already complaining about that. You should probably stick scare-quotes on "'need'", though.