RISC-V Firmware (PR #228)