RISCV: Get enough of the RISCV platform into C to run some tests

1 files changed, 3 insertions, 1 deletions

diff --git a/riscv/main.sail b/riscv/main.sail
index 32f14177..dbf41f49 100644
--- a/riscv/main.sail
+++ b/riscv/main.sail
@@ -12,7 +12,9 @@ val main : unit -> unit effect {barr, eamem, escape, exmem, rmem, rreg, wmv, wre
 
 function main () = {
 
-  PC = __GetSlice_int(64, elf_entry(), 0);
+  // PC = __GetSlice_int(64, elf_entry(), 0);
+  PC = zero_extend(0x1000, 64);
+  print_bits("PC = ", PC);
   try {
     init_platform();
     init_sys();