85,6 → 85,22 |
# Power off on halt |
! [ARCH=ppc32] CONFIG_POWEROFF (n/y) |
|
# Use VHPT |
! [ARCH=ia64] CONFIG_VHPT (n/y) |
|
# Use TSB |
! [ARCH=sparc64] CONFIG_TSB (y/n) |
|
# Support for Z8530 serial port |
! [ARCH=sparc64] CONFIG_Z8530 (y/n) |
|
# Support for NS16550 serial port |
! [ARCH=sparc64] CONFIG_NS16550 (y/n) |
|
# Virtually indexed cache support |
! [ARCH=sparc64] CONFIG_VIRT_IDX_SUPPORT (n/y) |
|
|
## Debugging configuration directives |
|
# General debuging and assert checking |
99,18 → 115,7 |
# Save all interrupt registers |
! [CONFIG_DEBUG=y&(ARCH=amd64|ARCH=mips32|ARCH=ia32|ARCH=ia32xen)] CONFIG_DEBUG_ALLREGS (y/n) |
|
# Use VHPT |
! [ARCH=ia64] CONFIG_VHPT (n/y) |
|
# Use TSB |
! [ARCH=sparc64] CONFIG_TSB (y/n) |
|
# Support for Z8530 serial port |
! [ARCH=sparc64] CONFIG_Z8530 (y/n) |
|
# Support for NS16550 serial port |
! [ARCH=sparc64] CONFIG_NS16550 (y/n) |
|
## Run-time configuration directives |
|
# Kernel test type |