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