genode/tool/builddir/build.conf/repos_x86
Norman Feske 50b367c076 Remove dde_zircon
Fixes #3847
2020-08-25 11:49:44 +02:00

11 lines
162 B
Plaintext

#
# Drivers ported from the OpenBSD
#
#REPOSITORIES += $(GENODE_DIR)/repos/dde_bsd
#
# Drivers ported from iPXE
#
#REPOSITORIES += $(GENODE_DIR)/repos/dde_ipxe