From 8c6e3c62510c00ea928de490b0e6b04dada51b83 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Thu, 11 Feb 2016 11:37:17 +0100
Subject: [PATCH] riscv: create_builddir support

issue #1880
---
 repos/base/etc/tools.conf             | 3 +++
 tool/builddir/etc/build.conf.hw_riscv | 9 +++++++++
 tool/create_builddir                  | 4 ++++
 3 files changed, 16 insertions(+)
 create mode 100644 tool/builddir/etc/build.conf.hw_riscv

diff --git a/repos/base/etc/tools.conf b/repos/base/etc/tools.conf
index 181b2c161..9dcc9e9a2 100644
--- a/repos/base/etc/tools.conf
+++ b/repos/base/etc/tools.conf
@@ -22,6 +22,9 @@ endif
 ifeq ($(filter-out $(SPECS),arm),)
 CROSS_DEV_PREFIX ?= /usr/local/genode-gcc/bin/genode-arm-
 endif
+ifeq ($(filter-out $(SPECS),riscv),)
+CROSS_DEV_PREFIX ?= /usr/local/genode-gcc/bin/genode-riscv-
+endif
 
 #
 # We use libsupc++ from g++ version 3 because
diff --git a/tool/builddir/etc/build.conf.hw_riscv b/tool/builddir/etc/build.conf.hw_riscv
new file mode 100644
index 000000000..16061703b
--- /dev/null
+++ b/tool/builddir/etc/build.conf.hw_riscv
@@ -0,0 +1,9 @@
+REPOSITORIES += $(GENODE_DIR)/repos/base-hw
+
+##
+## Kernel-specific run tool configuration
+##
+
+RUN_OPT = --include boot_dir/hw \
+          --include power_on/spike --include log/spike
+
diff --git a/tool/create_builddir b/tool/create_builddir
index f0786372c..37fbfb038 100755
--- a/tool/create_builddir
+++ b/tool/create_builddir
@@ -38,6 +38,7 @@ usage:
 	@echo "                  'hw_zynq'"
 	@echo "                  'hw_x86_64'"
 	@echo "                  'hw_x86_64_muen'"
+	@echo "                  'hw_riscv'"
 	@echo "                  'foc_x86_32'"
 	@echo "                  'foc_x86_64'"
 	@echo "                  'foc_pbxa9'"
@@ -263,6 +264,9 @@ hw_x86_64::
 hw_x86_64_muen::
 	@echo "SPECS = genode hw_x86_64_muen" > $(BUILD_DIR)/etc/specs.conf
 
+hw_riscv::
+	@echo "SPECS = genode hw_riscv" > $(BUILD_DIR)/etc/specs.conf
+
 $(PLATFORM)::
 	@echo "Successfully created build directory at $(BUILD_DIR)."
 	@echo "Please adjust $(BUILD_DIR)/etc/build.conf according to your needs."