diff options
Diffstat (limited to 'debian/config/kernelarch-powerpc')
| -rw-r--r-- | debian/config/kernelarch-powerpc/config-arch-64 | 12 | ||||
| -rw-r--r-- | debian/config/kernelarch-powerpc/config-page-64k | 7 |
2 files changed, 8 insertions, 11 deletions
diff --git a/debian/config/kernelarch-powerpc/config-arch-64 b/debian/config/kernelarch-powerpc/config-arch-64 index 898d80842f..87c3fd3a16 100644 --- a/debian/config/kernelarch-powerpc/config-arch-64 +++ b/debian/config/kernelarch-powerpc/config-arch-64 @@ -6,7 +6,7 @@ CONFIG_IRQ_ALL_CPUS=y CONFIG_NUMA=y ## choice: Page size -CONFIG_PPC_64K_PAGES=y +CONFIG_PPC_4K_PAGES=y ## end choice CONFIG_SCHED_SMT=y CONFIG_KERNEL_START=0xc000000000000000 @@ -170,16 +170,6 @@ CONFIG_HVCS=m # CONFIG_SERIAL_ICOM is not set ## -## file: drivers/vfio/Kconfig -## -CONFIG_VFIO=m - -## -## file: drivers/vfio/pci/Kconfig -## -CONFIG_VFIO_PCI=m - -## ## file: drivers/video/fbdev/Kconfig ## # CONFIG_FB_IMSTT is not set diff --git a/debian/config/kernelarch-powerpc/config-page-64k b/debian/config/kernelarch-powerpc/config-page-64k new file mode 100644 index 0000000000..4fd5df2470 --- /dev/null +++ b/debian/config/kernelarch-powerpc/config-page-64k @@ -0,0 +1,7 @@ +## +## file: arch/powerpc/Kconfig +## +## choice: Page size +# CONFIG_PPC_4K_PAGES is not set +CONFIG_PPC_64K_PAGES=y +## end choice |