diff options
Diffstat (limited to 'debian/config/kernelarch-powerpc/config-arch-64')
| -rw-r--r-- | debian/config/kernelarch-powerpc/config-arch-64 | 12 |
1 files changed, 1 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 |