# CONFIG_PPC_DCR_MMIO is not set
CONFIG_PPC_DCR_NATIVE=y
# CONFIG_PPC_EARLY_DEBUG is not set
-# CONFIG_PPC_EPAPR_HV_BYTECHAN is not set
# CONFIG_PPC_EPAPR_HV_PIC is not set
# CONFIG_PPC_I8259 is not set
# CONFIG_PPC_ICP_HV is not set
# CONFIG_PPC_XICS is not set
# CONFIG_PQ2ADS is not set
# CONFIG_PREEMPT_RCU is not set
-CONFIG_PRINT_STACK_DEPTH=64
CONFIG_PROC_DEVICETREE=y
# CONFIG_QUOTACTL is not set
CONFIG_RWSEM_XCHGADD_ALGORITHM=y