debian/config/ia64/config.mckinley


1
2
3
4
5
6
7
8
9
10
11

##
## file: arch/ia64/Kconfig
##
## choice: Processor type
# CONFIG_ITANIUM is not set
CONFIG_MCKINLEY=y
## end choice
CONFIG_SMP=y
CONFIG_NR_CPUS=64
# CONFIG_SCHED_SMT is not set