I’m just thinking that the Mac Mini might also be better for that usecase, even with the virtualization in place. If you need to support a specific processor, you probably want to work with that exact processor. But if you want to use any ARM, a virtualized Linux running on a Mac isn’t a bad option.