From 7e8d1e6f29a0e6b9f8b1b65a88b5dc87c25a4f9a Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Fri, 14 Oct 2022 11:31:21 -0700
Subject: Support command-line configuration of number of pmpregions

---
 riscv/dts.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'riscv/dts.h')

diff --git a/riscv/dts.h b/riscv/dts.h
index 6208151..1878ca1 100644
--- a/riscv/dts.h
+++ b/riscv/dts.h
@@ -10,6 +10,7 @@
 std::string make_dts(size_t insns_per_rtc_tick, size_t cpu_hz,
                      reg_t initrd_start, reg_t initrd_end,
                      const char* bootargs,
+                     size_t pmpregions,
                      std::vector<processor_t*> procs,
                      std::vector<std::pair<reg_t, mem_t*>> mems);
 
-- 
cgit v1.1