From 183ac4b124b5ca44d4ff1293adb59dd2e25efc5e Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 27 Jul 2018 10:53:35 +0100
Subject: [PATCH] add extra -D options to makefile template

---
 src/bsv/pinmux_generator.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/bsv/pinmux_generator.py b/src/bsv/pinmux_generator.py
index 9859fc2..fb452b0 100644
--- a/src/bsv/pinmux_generator.py
+++ b/src/bsv/pinmux_generator.py
@@ -442,6 +442,11 @@ def write_instances(idef, p, ifaces):
 `define PERFMONITORS                            64
 `define DCACHE_WAYS 4
 `define DCACHE_TAG_BITS 20      // tag_bits = 52
+
+// CLINT
+    `define ClintBase       'h02000000
+    `define ClintEnd        'h020BFFFF
+
 `define PLIC
 	`define PLICBase		'h0c000000
 	`define PLICEnd		'h10000000
-- 
2.30.2