RISCV: Run RISC-V tests using version compiled to C

Current pass rate is 170 out of 181. Looks like there are some issues
with rv64ua-p-lrsc.elf, rv64ua-v-lrsc.elf, and rv64uc-p-rvc.elf which
I think are caused by me not implementing parts of the RISC-V platform
correctly in C. Some of the div and mod tests also fail, which is
probably an issue with using the correct rounding.

2 files changed, 1 insertions, 1 deletions

diff --git a/riscv/reset_vec.bin b/riscv/reset_vec.bin
new file mode 100755
index 00000000..d2d3563c
--- /dev/null
+++ b/riscv/reset_vec.bin
diff --git a/riscv/riscv_platform.c b/riscv/riscv_platform.c
index 6330ae4d..7f6ec470 100644
--- a/riscv/riscv_platform.c
+++ b/riscv/riscv_platform.c
@@ -62,7 +62,7 @@ void plat_insns_per_tick(sail_int *rop, unit u)
 
 mach_bits plat_htif_tohost(unit u)
 {
-  return UINT64_C(0x2000000);
+  return UINT64_C(0x80001000);
 }
 
 unit memea(mach_bits len, sail_int n)