| 241,14 → 241,7 |
|---|
| @ "gcc_native" GCC Native |
| ! [PLATFORM=arm32|PLATFORM=mips32|PLATFORM=ppc32] COMPILER (choice) |
| |
| ## Debug build options |
| |
| % Debug build |
| ! CONFIG_DEBUG (y/n) |
| |
| % Deadlock detection support for spinlocks |
| ! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n) |
| |
| ## Kernel configuration |
| |
| % Fences |
| 296,8 → 289,15 |
|---|
| % Support for SMP |
| ! [PLATFORM=ia32|PLATFORM=amd64|PLATFORM=sparc64|PLATFORM=ia64|(PLATFORM=mips32&MACHINE=msim)] CONFIG_SMP (y/n) |
| |
| % Debug build |
| ! CONFIG_DEBUG (y/n) |
| |
| % Deadlock detection support for spinlocks |
| ! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n) |
| |
| % Improved support for hyperthreading |
| ! [PLATFORM=amd64&CONFIG_SMP=y] CONFIG_HT (y/n) |
| |
| % Improved support for hyperthreading |
| ! [PLATFORM=ia32&PROCESSOR!=athlon_xp&PROCESSOR!=athlon_mp&PROCESSOR!=pentium3&CONFIG_SMP=y] CONFIG_HT (y/n) |
| |
| 328,6 → 328,7 |
|---|
| % Compile kernel tests |
| ! CONFIG_TEST (y/n) |
| |
| |
| ## Hardware support |
| |
| % Input device class |
| 336,9 → 337,10 |
|---|
| @ "serial" Serial line |
| @ "none" No input device |
| ! [MACHINE!=msim&MACHINE!=ski&MACHINE!=serengeti] CONFIG_HID_IN (choice) |
| |
| % Input device class |
| @ "serial" Serial line |
| ! [MACHINE=msim|MACHINE=ski|machine=serengeti] CONFIG_HID_IN (choice) |
| ! [MACHINE=ski|MACHINE=serengeti] CONFIG_HID_IN (choice) |
| |
| % Output device class |
| @ "generic" Monitor or serial line |
| 346,6 → 348,7 |
|---|
| @ "serial" Serial line |
| @ "none" No output device |
| ! [MACHINE!=msim&MACHINE!=ski&MACHINE!=serengeti] CONFIG_HID_OUT (choice) |
| |
| % Output device class |
| @ "serial" Serial line |
| ! [MACHINE=msim|MACHINE=ski&MACHINE=serengeti] CONFIG_HID_OUT (choice) |
| 352,11 → 355,13 |
|---|
| |
| % i8042 controller support |
| ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_I8042 (y/n) |
| |
| % i8042 controller support |
| ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&MACHINE=i460GX] CONFIG_I8042 (y/n) |
| |
| % Support for NS16550 controller |
| ! [PLATFORM=sparc64&CONFIG_HID_OUT!=none&CONFIG_HID_IN!=none] CONFIG_NS16550 (y/n) |
| |
| % Support for NS16550 controller |
| ! [CONFIG_HID_IN=generic|CONFIG_HID_IN=serial|CONFIG_HID_OUT=generic|CONFIG_HID_OUT=serial] CONFIG_NS16550 (y/n) |
| |
| 368,6 → 373,7 |
|---|
| |
| % PC keyboard support |
| ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_PC_KBD (y/n) |
| |
| % PC keyboard support |
| ! [(CONFIG_HID_IN=generic|CONFIG_HID_IN=keyboard)&MACHINE=i460GX] CONFIG_PC_KBD (y/n) |
| |
| 379,6 → 385,7 |
|---|
| |
| % EGA support |
| ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&(PLATFORM=ia32|PLATFORM=amd64)] CONFIG_EGA (y/n) |
| |
| % EGA support |
| ! [(CONFIG_HID_OUT=generic|CONFIG_HID_OUT=monitor)&MACHINE=i460GX] CONFIG_EGA (y/n) |
| |