|
@@ -4,6 +4,7 @@
|
|
|
# CONFIG_PPC_256K_PAGES is not set
|
|
# CONFIG_PPC_256K_PAGES is not set
|
|
|
CONFIG_PPC_4K_PAGES=y
|
|
CONFIG_PPC_4K_PAGES=y
|
|
|
# CONFIG_PPC_64K_PAGES is not set
|
|
# CONFIG_PPC_64K_PAGES is not set
|
|
|
|
|
+# CONFIG_PPC_EMULATED_STATS is not set
|
|
|
# CONFIG_PCIEASPM is not set
|
|
# CONFIG_PCIEASPM is not set
|
|
|
# CONFIG_SERIAL_OF_PLATFORM_NWPSERIAL is not set
|
|
# CONFIG_SERIAL_OF_PLATFORM_NWPSERIAL is not set
|
|
|
# CONFIG_HVC_UDBG is not set
|
|
# CONFIG_HVC_UDBG is not set
|