|
@@ -452,7 +452,6 @@ CONFIG_IOMMU_IO_PGTABLE_LPAE=y
|
|
# CONFIG_IOMMU_IO_PGTABLE_LPAE_SELFTEST is not set
|
|
# CONFIG_IOMMU_IO_PGTABLE_LPAE_SELFTEST is not set
|
|
CONFIG_IOMMU_SUPPORT=y
|
|
CONFIG_IOMMU_SUPPORT=y
|
|
CONFIG_IPC_NS=y
|
|
CONFIG_IPC_NS=y
|
|
-# CONFIG_IP_ADVANCED_ROUTER is not set
|
|
|
|
CONFIG_IRQCHIP=y
|
|
CONFIG_IRQCHIP=y
|
|
CONFIG_IRQ_BYPASS_MANAGER=y
|
|
CONFIG_IRQ_BYPASS_MANAGER=y
|
|
CONFIG_IRQ_DOMAIN=y
|
|
CONFIG_IRQ_DOMAIN=y
|