1 2 3 4 5 6 7 8 9
# check if RISC-V 32 inline asm is supported @micropython.asm_rv32 def f(): add(a0, a0, a0) print("rv32")