fixes include paths

env/TGC5L/platform.h

@@ -7,7 +7,7 @@
 #define MCAUSE_INT         0x80000000
 #define MCAUSE_CAUSE       0x7FFFFFFF
 
-#include "rtl/const.h"
+#include "bits.h"
 /****************************************************************************
  * Platform definitions
  *****************************************************************************/

env/ehrenberg/init.c

@@ -4,7 +4,6 @@
 
 #include "platform.h"
 #include "encoding.h"
-#include <ehrenberg/devices.h>
 
 #if __riscv_xlen == 32
 #define MCAUSE_INT         0x80000000UL

env/ehrenberg/platform.h

@@ -7,15 +7,13 @@
 #define MCAUSE_INT         0x80000000
 #define MCAUSE_CAUSE       0x7FFFFFFF
 
-#include "ehrenberg/const.h"
-
 #define APB_BUS
 
-#include "devices/gpio.h"
-#include "devices/interrupt.h"
-#include "devices/timer.h"
-#include "devices/uart.h"
-#include "devices/qspi.h"
+#include "ehrenberg/devices/gpio.h"
+#include "ehrenberg/devices/interrupt.h"
+#include "ehrenberg/devices/timer.h"
+#include "ehrenberg/devices/uart.h"
+#include "ehrenberg/devices/qspi.h"
 
 #define PERIPH(TYPE, ADDR) ((volatile TYPE*) (ADDR))
 

env/entry.S

@@ -4,7 +4,7 @@
 #define ENTRY_S
 
 #include "encoding.h"
-#include "rtl/bits.h"
+#include "bits.h"
 
   .section      .text.entry	
   .align 2

env/hifive1/init.c

@@ -2,7 +2,7 @@
 #include <stdio.h>
 #include <unistd.h>
 
-#include "../hifive1/platform.h"
+#include "platform.h"
 #include "encoding.h"
 
 extern int main(int argc, char** argv);

env/iss/platform.h

@@ -7,7 +7,7 @@
 #define MCAUSE_INT         0x80000000
 #define MCAUSE_CAUSE       0x7FFFFFFF
 
-#include "rtl/const.h"
+#include "bits.h"
 /****************************************************************************
  * Platform definitions
  *****************************************************************************/

env/tgc-vp/platform.h

@@ -7,7 +7,7 @@
 #define MCAUSE_INT         0x80000000
 #define MCAUSE_CAUSE       0x7FFFFFFF
 
-#include "tgc-vp/const.h"
+#include "bits.h"
 #include "tgc-vp/devices/aon.h"
 #include "tgc-vp/devices/clint.h"
 #include "tgc-vp/devices/gpio.h"