From e367c99864758fc8125aaa15909eab4e04ce3438 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Tue, 16 Feb 2016 16:44:55 +0100
Subject: [PATCH] cli_monitor: build for RISC-V

---
 .../app/cli_monitor/spec/riscv/gdb_prefix.h   | 19 +++++++++++++++++++
 repos/os/src/app/cli_monitor/target.mk        |  6 +++++-
 2 files changed, 24 insertions(+), 1 deletion(-)
 create mode 100644 repos/os/src/app/cli_monitor/spec/riscv/gdb_prefix.h

diff --git a/repos/os/src/app/cli_monitor/spec/riscv/gdb_prefix.h b/repos/os/src/app/cli_monitor/spec/riscv/gdb_prefix.h
new file mode 100644
index 000000000..b2018d469
--- /dev/null
+++ b/repos/os/src/app/cli_monitor/spec/riscv/gdb_prefix.h
@@ -0,0 +1,19 @@
+/*
+ * \brief  Prefix of the GDB binary
+ * \author Sebastian Sumpf
+ * \date   2016-02-16
+ */
+
+/*
+ * Copyright (C) 2016 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU General Public License version 2.
+ */
+
+#ifndef _APP__CLI_MONITOR__SPEC__RISCV__GDB_PREFIX_H_
+#define _APP__CLI_MONITOR__SPEC__RISCV__GDB_PREFIX_H_
+
+static const char *gdb_prefix = "genode-riscv-";
+
+#endif /* _APP__CLI_MONITOR__SPEC__RISCV__GDB_PREFIX_H_ */
diff --git a/repos/os/src/app/cli_monitor/target.mk b/repos/os/src/app/cli_monitor/target.mk
index 756d618b8..5ec078a8a 100644
--- a/repos/os/src/app/cli_monitor/target.mk
+++ b/repos/os/src/app/cli_monitor/target.mk
@@ -5,8 +5,12 @@ INC_DIR += $(PRG_DIR)
 
 ifeq ($(findstring arm, $(SPECS)), arm)
 INC_DIR += $(PRG_DIR)/spec/arm
-else
+endif
+
 ifeq ($(findstring x86, $(SPECS)), x86)
 INC_DIR += $(PRG_DIR)/spec/x86
 endif
+
+ifeq ($(findstring riscv, $(SPECS)), riscv)
+INC_DIR += $(PRG_DIR)/spec/riscv
 endif