Merge branch 'sail2' into rmem_interpreter

1 files changed, 0 insertions, 29 deletions

diff --git a/riscv/riscv_platform_impl.c b/riscv/riscv_platform_impl.c
deleted file mode 100644
index 04a661c0..00000000
--- a/riscv/riscv_platform_impl.c
+++ /dev/null
@@ -1,29 +0,0 @@
-#include "riscv_platform_impl.h"
-#include <unistd.h>
-#include <stdio.h>
-
-/* Settings of the platform implementation, with common defaults. */
-
-bool rv_enable_dirty_update         = false;
-bool rv_enable_misaligned           = false;
-bool rv_mtval_has_illegal_inst_bits = false;
-
-uint64_t rv_ram_base = UINT64_C(0x80000000);
-uint64_t rv_ram_size = UINT64_C(0x80000000);
-
-uint64_t rv_rom_base = UINT64_C(0x1000);
-uint64_t rv_rom_size = UINT64_C(0x100);
-
-uint64_t rv_clint_base = UINT64_C(0x2000000);
-uint64_t rv_clint_size = UINT64_C(0xc0000);
-
-uint64_t rv_htif_tohost = UINT64_C(0x80001000);
-uint64_t rv_insns_per_tick = UINT64_C(100);
-
-int term_fd = 1; // set during startup
-void plat_term_write_impl(char c)
-{
-  if (write(term_fd, &c, sizeof(c)) < 0) {
-    fprintf(stderr, "Unable to write to terminal!\n");
-  }
-}