genode/tool/builddir/etc/build.conf.ports-okl4
2011-12-22 16:19:25 +01:00

6 lines
102 B
Plaintext

#
# Software ported specifically for OKL4, i.e., OKLinux
#
#REPOSITORIES += $(GENODE_DIR)/ports-okl4