src/etc/etc.riscv