CONFIG_LOCK_KERNEL=y
# CONFIG_CPUSETS is not set
CONFIG_STOP_MACHINE=y
# CONFIG_PA7000 is not set
CONFIG_PA8X00=y
CONFIG_PA20=y
CONFIG_PREFETCH=y
CONFIG_64BIT=y
CONFIG_SMP=y
CONFIG_HOTPLUG_CPU=y
CONFIG_DISCONTIGMEM=y
CONFIG_COMPAT=y
CONFIG_NR_CPUS=32
# CONFIG_DEBUG_RWLOCK is not set
