From 745882aaccfc6f605be008d0ab10b19b4ca5e1f9 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 25 Jun 2018 17:00:26 +0100
Subject: add device tree file for mips.

---
 mips/Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'mips/Makefile')

diff --git a/mips/Makefile b/mips/Makefile
index 627f998e..b43dd5d9 100644
--- a/mips/Makefile
+++ b/mips/Makefile
@@ -21,6 +21,9 @@ mips.c: $(MIPS_PRE) $(MIPS_TLB) $(MIPS_SAILS) $(MIPS_MAIN) Makefile ../sail
 mips_c: mips.c ../lib/sail.h Makefile
 	gcc -O2 -g -I ../lib $< ../lib/*.c -lgmp -lz -o $@
 
+sim.dtb: sim.dts
+	dtc -O dtb -o $@ -b 0 $<
+
 mips_no_tlb.lem: $(MIPS_PRE) $(MIPS_TLB_STUB) $(MIPS_SAILS)
 	$(SAIL) -lem -o mips_no_tlb -lem_mwords -lem_lib Mips_extras -undefined_gen -memo_z3 $^
 mips_no_tlb_types.lem: mips_no_tlb.lem
-- 
cgit v1.2.3