CONFIG_LOCK_KERNEL=y
# CONFIG_CPUSETS is not set
CONFIG_STOP_MACHINE=y
CONFIG_PA7000=y
# CONFIG_PA8X00 is not set
CONFIG_PA11=y
CONFIG_SMP=y
CONFIG_HOTPLUG_CPU=y
# CONFIG_HPUX is not set
CONFIG_NR_CPUS=32
# CONFIG_SCSI_DPT_I2O is not set
# CONFIG_SCSI_NSP32 is not set
CONFIG_PCMCIA_AHA152X=m
CONFIG_PCMCIA_NINJA_SCSI=m
CONFIG_TLAN=m
# CONFIG_ARLAN is not set
# CONFIG_DEBUG_RWLOCK is not set
