/gnu/platforms/
../
arm.scm
mips.scm
powerpc.scm
riscv.scm
s390.scm
x86.scm