From bf06b7e36064b70feccbd4fe468a99e01b24aed8 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Mon, 24 Feb 2014 09:55:10 +0100
Subject: [PATCH] rump: Add repository to build.conf

---
 tool/builddir/etc/build.conf.optional | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tool/builddir/etc/build.conf.optional b/tool/builddir/etc/build.conf.optional
index eb6af7e88..e20385ddb 100644
--- a/tool/builddir/etc/build.conf.optional
+++ b/tool/builddir/etc/build.conf.optional
@@ -31,6 +31,11 @@
 #
 #REPOSITORIES += $(GENODE_DIR)/dde_linux
 
+#
+# NetBSD file-system support
+#
+#REPOSITORIES += $(GENODE_DIR)/dde_rump
+
 #
 # High-level Genode-specific services and applications
 #