|
|
|
@ -50,8 +50,7 @@ CONFIG_CPU_SUP_CYRIX_32=y |
|
|
|
|
CONFIG_DEFAULT_IO_DELAY_TYPE=0 |
|
|
|
|
# CONFIG_DELL_RBU is not set |
|
|
|
|
CONFIG_DEVPORT=y |
|
|
|
|
CONFIG_DMI=y |
|
|
|
|
CONFIG_DMIID=y |
|
|
|
|
# CONFIG_DMI is not set |
|
|
|
|
CONFIG_DOUBLEFAULT=y |
|
|
|
|
CONFIG_EARLY_PRINTK=y |
|
|
|
|
# CONFIG_EARLY_PRINTK_DBGP is not set |
|
|
|
@ -275,7 +274,7 @@ CONFIG_X86_RDC321X=y |
|
|
|
|
CONFIG_X86_REBOOTFIXUPS=y |
|
|
|
|
# CONFIG_X86_RESERVE_LOW_64K is not set |
|
|
|
|
# CONFIG_X86_UP_APIC is not set |
|
|
|
|
CONFIG_X86_VERBOSE_BOOTUP=y |
|
|
|
|
# CONFIG_X86_VERBOSE_BOOTUP is not set |
|
|
|
|
# CONFIG_X86_VOYAGER is not set |
|
|
|
|
# CONFIG_X86_VSMP is not set |
|
|
|
|
CONFIG_X86_WP_WORKS_OK=y |
|
|
|
|