diff --git a/debian/config/arm64/config b/debian/config/arm64/config index a9977b5c6..76b5bda63 100644 --- a/debian/config/arm64/config +++ b/debian/config/arm64/config @@ -120,8 +120,8 @@ CONFIG_IPMI_SSIF=m ## ## file: drivers/clk/Kconfig ## -CONFIG_COMMON_CLK_HI655X=y CONFIG_COMMON_CLK_RK808=y +CONFIG_COMMON_CLK_HI655X=y CONFIG_COMMON_CLK_XGENE=y ## @@ -767,6 +767,7 @@ CONFIG_PWM_TEGRA=m ## CONFIG_REGULATOR=y CONFIG_REGULATOR_FIXED_VOLTAGE=m +CONFIG_REGULATOR_FAN53555=m CONFIG_REGULATOR_GPIO=m CONFIG_REGULATOR_HI655X=m CONFIG_REGULATOR_MAX77620=m @@ -775,7 +776,6 @@ CONFIG_REGULATOR_QCOM_RPM=m CONFIG_REGULATOR_QCOM_SMD_RPM=m CONFIG_REGULATOR_QCOM_SPMI=m CONFIG_REGULATOR_RK808=m -CONFIG_REGULATOR_FAN53555=m ## ## file: drivers/remoteproc/Kconfig