12 4 s390x 10 riscv64 20