Merge branch 'sail2' into rmem_interpreter

1 files changed, 0 insertions, 28 deletions

diff --git a/riscv/riscv_platform_impl.h b/riscv/riscv_platform_impl.h
deleted file mode 100644
index 85e25c95..00000000
--- a/riscv/riscv_platform_impl.h
+++ /dev/null
@@ -1,28 +0,0 @@
-#pragma once
-
-#include <stdbool.h>
-#include <stdint.h>
-
-/* Settings of the platform implementation. */
-
-#define DEFAULT_RSTVEC     0x00001000
-#define SAIL_XLEN          64
-
-extern bool rv_enable_dirty_update;
-extern bool rv_enable_misaligned;
-extern bool rv_mtval_has_illegal_inst_bits;
-
-extern uint64_t rv_ram_base;
-extern uint64_t rv_ram_size;
-
-extern uint64_t rv_rom_base;
-extern uint64_t rv_rom_size;
-
-extern uint64_t rv_clint_base;
-extern uint64_t rv_clint_size;
-
-extern uint64_t rv_htif_tohost;
-extern uint64_t rv_insns_per_tick;
-
-extern int term_fd;
-void plat_term_write_impl(char c);