UTM - в целом вполне юзабельное приложение, работает через QEMU, умеет как арм так и в х86, но очень медленно - примерно раз 10 в сравнении с арм. Линкус с армом работает отлично - производительность на уровне. Ну и докер тоже вполне можно юзать для линукса.
Да, конечно: диск виртуальной машины - это стандартный файл-образ qcow2, который можно положить куда угодно. Непосредственно с СД карты лучше не запускать - слишком медленно будет.
Также Линус упомянул, что использовал для формирования релиза ноутбук Apple на базе архитектуры ARM64 (Apple Silicon) с Linux-окружением на базе дистрибутива Asahi Linux.
Александр Ананьев, реализация трансляции машинного кода для стороннего проца это очень круто и очень трудоемко сколь помню.
хотя интеловская прошивка проца говорит об обратном :)
интересно сравнить и почитать.