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) |
|