diff options
Diffstat (limited to 'debian/config/armhf/config.armmp-lpae')
-rw-r--r-- | debian/config/armhf/config.armmp-lpae | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/debian/config/armhf/config.armmp-lpae b/debian/config/armhf/config.armmp-lpae new file mode 100644 index 000000000..d5045f1ee --- /dev/null +++ b/debian/config/armhf/config.armmp-lpae @@ -0,0 +1,21 @@ +## +## file: arch/arm/Kconfig +## +CONFIG_ARM_DMA_IOMMU_ALIGNMENT=8 + +## +## file: arch/arm/kvm/Kconfig +## +CONFIG_VIRTUALIZATION=y +CONFIG_KVM=y + +## +## file: arch/arm/mm/Kconfig +## +CONFIG_ARM_LPAE=y + +## +## file: drivers/iommu/Kconfig +## +CONFIG_ARM_SMMU=y + |