riscv: create_builddir support

issue #1880

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

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
+

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."