From 43da93bb6f8052f7a2037793135c0191949ae812 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Wed, 15 Dec 2021 11:06:35 +0100
Subject: [PATCH] noux: add RISC-V gnu build support

issue #4312
---
 repos/ports/mk/gnu_build.mk | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/ports/mk/gnu_build.mk b/repos/ports/mk/gnu_build.mk
index 40e93a57ab..9de02cfc90 100644
--- a/repos/ports/mk/gnu_build.mk
+++ b/repos/ports/mk/gnu_build.mk
@@ -85,6 +85,9 @@ endif
 ifeq ($(findstring arm_v8, $(SPECS)), arm_v8)
 CONFIGURE_ARGS += --host aarch64-none-elf
 endif
+ifeq ($(findstring riscv, $(SPECS)), riscv)
+CONFIGURE_ARGS += --host riscv64-unknown-elf
+endif
 ifeq ($(findstring x86, $(SPECS)), x86)
 CONFIGURE_ARGS += --host x86_64-pc-elf
 endif