В теме Как включить графику или хотя бы текстовый цветной режим? установил QEMU ARM64. Там Debian 10, и есть gcc 8.3
Есть пример: http://www.ethernut.de/en/documents/arm-inline-asm.html
Есть простая программа:
#include <stdio.h>
int main()
{
printf("test\n");
asm("mov r0, r0");
}