#
# Drivers ported from the Linux kernel
# Not supported on the ARM architecture.
#REPOSITORIES += $(GENODE_DIR)/linux_drivers
# Drivers ported from iPXE
#REPOSITORIES += $(GENODE_DIR)/dde_ipxe