1 files changed, 0 insertions, 52 deletions
diff --git a/software/coremark/core_portme.c b/software/coremark/core_portme.c
deleted file mode 100644
index cbf1396..0000000
--- a/software/coremark/core_portme.c
+++ /dev/null
@@ -1,52 +0,0 @@
-#include <stdio.h>
-#include <stdlib.h>
-#include "coremark.h"
-#include "platform.h"
-#include "encoding.h"
-
-#if VALIDATION_RUN
-	volatile ee_s32 seed1_volatile=0x3415;
-	volatile ee_s32 seed2_volatile=0x3415;
-	volatile ee_s32 seed3_volatile=0x66;
-#endif
-
-#if PERFORMANCE_RUN
-	volatile ee_s32 seed1_volatile=0x0;
-	volatile ee_s32 seed2_volatile=0x0;
-	volatile ee_s32 seed3_volatile=0x66;
-#endif
-
-#if PROFILE_RUN
-	volatile ee_s32 seed1_volatile=0x8;
-	volatile ee_s32 seed2_volatile=0x8;
-	volatile ee_s32 seed3_volatile=0x8;
-#endif
-
-volatile ee_s32 seed4_volatile=ITERATIONS;
-volatile ee_s32 seed5_volatile=0;
-
-static CORE_TICKS t0, t1;
-
-void start_time(void)
-{
-  t0 = get_timer_value();
-}
-
-void stop_time(void)
-{
-  t1 = get_timer_value();
-}
-
-CORE_TICKS get_time(void)
-{
-  return t1 - t0;
-}
-
-secs_ret time_in_secs(CORE_TICKS ticks)
-{
-  // scale timer down to avoid uint64_t -> double conversion in RV32
-  int scale = 256;
-  uint32_t delta = ticks / scale;
-  uint32_t freq = get_timer_freq() / scale;
-  return delta / (double)freq;
-}