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 #