2 # CONFIG_8139TOO_8129 is not set
3 # CONFIG_8139TOO_PIO is not set
4 # CONFIG_8139TOO_TUNE_TWISTER is not set
5 # CONFIG_8139_OLD_RX_RESET is not set
7 # CONFIG_EMBEDDED is not set
9 # CONFIG_IP_PNP_BOOTP is not set
11 # CONFIG_IP_PNP_RARP is not set