diff options
| -rw-r--r-- | debian/config/arm64/config | 2 | ||||
| -rw-r--r-- | debian/config/riscv64/config | 10 |
2 files changed, 6 insertions, 6 deletions
diff --git a/debian/config/arm64/config b/debian/config/arm64/config index df712ed8355c..df524ade6e04 100644 --- a/debian/config/arm64/config +++ b/debian/config/arm64/config @@ -1336,6 +1336,7 @@ CONFIG_GPIO_WATCHDOG=m CONFIG_WDAT_WDT=m CONFIG_ARM_SP805_WATCHDOG=m CONFIG_ARM_SBSA_WATCHDOG=m +CONFIG_ARMADA_37XX_WATCHDOG=m CONFIG_DW_WATCHDOG=m CONFIG_SUNXI_WATCHDOG=m CONFIG_TEGRA_WATCHDOG=m @@ -1343,7 +1344,6 @@ CONFIG_QCOM_WDT=m CONFIG_MESON_GXBB_WATCHDOG=m CONFIG_MESON_WATCHDOG=m CONFIG_BCM2835_WDT=m -CONFIG_ARMADA_37XX_WATCHDOG=m ## ## file: kernel/dma/Kconfig diff --git a/debian/config/riscv64/config b/debian/config/riscv64/config index 179b74fe4658..161385a7c148 100644 --- a/debian/config/riscv64/config +++ b/debian/config/riscv64/config @@ -48,6 +48,11 @@ CONFIG_MACB=m CONFIG_PCI=y ## +## file: drivers/pci/controller/Kconfig +## +CONFIG_PCIE_XILINX=y + +## ## file: drivers/power/reset/Kconfig ## CONFIG_POWER_RESET=y @@ -56,11 +61,6 @@ CONFIG_POWER_RESET_GPIO_RESTART=y CONFIG_POWER_RESET_RESTART=y ## -## file: drivers/pci/controller/Kconfig -## -CONFIG_PCIE_XILINX=y - -## ## file: drivers/pwm/Kconfig ## CONFIG_PWM=y |