Add the 8139 driver from Inferno os/manga
[akaros.git] / kern / drivers / Kconfig
1 menu "Drivers"
2
3 #source "kern/drivers/net/Kconfig"
4
5 endmenu