From bb2754c2017f1062071ab820af36d3852cb9859d Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Tue, 6 Jun 2023 11:33:36 -0700
Subject: [PATCH] dts_t: Add dts.h to list of installed headers

---
 riscv/dts.h       | 1 -
 riscv/riscv.mk.in | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/riscv/dts.h b/riscv/dts.h
index d3655025..b6bb5b27 100644
--- a/riscv/dts.h
+++ b/riscv/dts.h
@@ -4,7 +4,6 @@
 
 #include "devices.h"
 #include "processor.h"
-#include "mmu.h"
 #include <string>
 
 std::string make_dts(size_t insns_per_rtc_tick, size_t cpu_hz,
diff --git a/riscv/riscv.mk.in b/riscv/riscv.mk.in
index a3e125f5..d82df45e 100644
--- a/riscv/riscv.mk.in
+++ b/riscv/riscv.mk.in
@@ -28,6 +28,7 @@ riscv_install_hdrs = \
 	decode.h \
 	devices.h \
 	disasm.h \
+	dts.h \
 	encoding.h \
 	entropy_source.h \
 	extension.h \