
source "drivers/gemtek/hello/Kconfig"
source "drivers/gemtek/dhcpd/Kconfig"
source "drivers/gemtek/watch_dog/Kconfig"
source "drivers/gemtek/eth_led/Kconfig"

