From 4a036cd86524a8e07ecd5eafd7117054790590c5 Mon Sep 17 00:00:00 2001
From: Angelo Garofalo <angelo.garofalo@unibo.it>
Date: Tue, 2 Jun 2020 10:54:20 +0200
Subject: [PATCH] modify ld to change mem size of dustin

---
 include/archi/chips/dustin/properties.h | 6 +++---
 kernel/chips/dustin/link.ld             | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/include/archi/chips/dustin/properties.h b/include/archi/chips/dustin/properties.h
index 44b7920..0376295 100644
--- a/include/archi/chips/dustin/properties.h
+++ b/include/archi/chips/dustin/properties.h
@@ -23,15 +23,15 @@
  */
 
 #ifndef ARCHI_FPGA_FREQUENCY
-#define ARCHI_FPGA_FREQUENCY 5000000
+#define ARCHI_FPGA_FREQUENCY 10000000
 #endif
 
 #ifndef ARCHI_FPGA_FC_FREQUENCY
-#define ARCHI_FPGA_FC_FREQUENCY 5000000
+#define ARCHI_FPGA_FC_FREQUENCY 10000000
 #endif
 
 #ifndef ARCHI_FPGA_CL_FREQUENCY
-#define ARCHI_FPGA_CL_FREQUENCY 5000000
+#define ARCHI_FPGA_CL_FREQUENCY 10000000
 #endif
 
 /*
diff --git a/kernel/chips/dustin/link.ld b/kernel/chips/dustin/link.ld
index 3bc28d9..04c8ef0 100644
--- a/kernel/chips/dustin/link.ld
+++ b/kernel/chips/dustin/link.ld
@@ -3,7 +3,7 @@ OUTPUT_ARCH(riscv)
 ENTRY( _start )
 MEMORY
 {
-  L2           : ORIGIN = 0x1c000004, LENGTH = 0x0007fffc
+  L2           : ORIGIN = 0x1c000004, LENGTH = 0x0003fffc
   L1           : ORIGIN = 0x10000004, LENGTH = 0x0001fffc
 }