diff --git a/debian/changelog b/debian/changelog
index 8e20f15e7..05095b903 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -37,6 +37,7 @@ linux (4.4~rc7-1~exp1) UNRELEASED; urgency=medium
   [ Ian Campbell ]
   * [armel/kirkwood] Updates/clarifications to kernel size limitations from
     Martin Michlmayr. (Closes: #809528)
+  * [armhf] Enable support for Rockchip devices. (Closes: #809083)
 
  -- Ben Hutchings <ben@decadent.org.uk>  Thu, 24 Dec 2015 21:28:51 +0000
 
diff --git a/debian/config/armhf/config.armmp b/debian/config/armhf/config.armmp
index 85db733a9..b155f58f5 100644
--- a/debian/config/armhf/config.armmp
+++ b/debian/config/armhf/config.armmp
@@ -82,6 +82,11 @@ CONFIG_ARCH_OMAP2PLUS_TYPICAL=y
 CONFIG_SOC_OMAP3430=y
 CONFIG_SOC_TI81XX=y
 
+##
+## file: arch/arm/mach-rockchip/Kconfig
+##
+CONFIG_ARCH_ROCKCHIP=y
+
 ##
 ## file: arch/arm/mach-socfpga/Kconfig
 ##
@@ -257,6 +262,12 @@ CONFIG_DRM_IMX_HDMI=m
 ##
 CONFIG_DRM_OMAP=m
 
+##
+## file: drivers/gpu/drm/rockchip/Kconfig
+##
+CONFIG_DRM_ROCKCHIP=m
+CONFIG_ROCKCHIP_DW_HDMI=m
+
 ##
 ## file: drivers/gpu/drm/tegra/Kconfig
 ##
@@ -322,6 +333,7 @@ CONFIG_I2C_GPIO=y
 CONFIG_I2C_IMX=m
 CONFIG_I2C_MV64XXX=m
 CONFIG_I2C_OMAP=y
+CONFIG_I2C_RK3X=m
 CONFIG_I2C_S3C2410=y
 CONFIG_I2C_SUN6I_P2WI=m
 CONFIG_I2C_TEGRA=y
@@ -340,6 +352,7 @@ CONFIG_IIO=m
 ##
 ## file: drivers/iio/adc/Kconfig
 ##
+CONFIG_ROCKCHIP_SARADC=m
 CONFIG_TI_AM335X_ADC=m
 CONFIG_TWL4030_MADC=m
 
@@ -392,6 +405,7 @@ CONFIG_TOUCHSCREEN_SUN4I=m
 ##
 CONFIG_OMAP_IOMMU=y
 # CONFIG_OMAP_IOMMU_DEBUG is not set
+CONFIG_ROCKCHIP_IOMMU=y
 
 ##
 ## file: drivers/leds/Kconfig
@@ -497,6 +511,7 @@ CONFIG_MMC_MVSDIO=m
 CONFIG_MMC_SPI=m
 CONFIG_MMC_DW=m
 CONFIG_MMC_DW_EXYNOS=m
+CONFIG_MMC_DW_ROCKCHIP=m
 CONFIG_MMC_WMT=m
 CONFIG_MMC_SUNXI=m
 
@@ -550,6 +565,11 @@ CONFIG_ADAPTEC_STARFIRE=m
 ##
 CONFIG_SUN4I_EMAC=m
 
+##
+## file: drivers/net/ethernet/arc/Kconfig
+##
+CONFIG_EMAC_ROCKCHIP=m
+
 ##
 ## file: drivers/net/ethernet/calxeda/Kconfig
 ##
@@ -622,6 +642,7 @@ CONFIG_SMSC911X=m
 ##
 CONFIG_STMMAC_ETH=m
 CONFIG_DWMAC_GENERIC=m
+CONFIG_DWMAC_ROCKCHIP=m
 CONFIG_DWMAC_SOCFPGA=m
 CONFIG_DWMAC_SUNXI=m
 
@@ -692,6 +713,7 @@ CONFIG_WLCORE_SDIO=m
 ##
 ## file: drivers/nvmem/Kconfig
 ##
+CONFIG_ROCKCHIP_EFUSE=m
 CONFIG_NVMEM_SUNXI_SID=m
 
 ##
@@ -713,6 +735,7 @@ CONFIG_PHY_SUN4I_USB=m
 CONFIG_PHY_SUN9I_USB=m
 CONFIG_PHY_SAMSUNG_USB2=m
 CONFIG_PHY_EXYNOS5_USBDRD=m
+CONFIG_PHY_ROCKCHIP_USB=m
 
 ##
 ## file: drivers/pinctrl/Kconfig
@@ -734,6 +757,11 @@ CONFIG_BATTERY_RX51=m
 CONFIG_CHARGER_ISP1704=m
 CONFIG_CHARGER_BQ2415X=m
 
+##
+## file: drivers/power/avs/Kconfig
+##
+CONFIG_ROCKCHIP_IODOMAIN=m
+
 ##
 ## file: drivers/power/reset/Kconfig
 ##
@@ -750,6 +778,7 @@ CONFIG_POWER_RESET_SYSCON_POWEROFF=y
 CONFIG_PWM=y
 CONFIG_PWM_BCM2835=m
 CONFIG_PWM_IMX=m
+CONFIG_PWM_ROCKCHIP=m
 CONFIG_PWM_SUN4I=m
 CONFIG_PWM_TEGRA=m
 CONFIG_PWM_TIECAP=m
@@ -762,10 +791,12 @@ CONFIG_PWM_VT8500=m
 ## file: drivers/regulator/Kconfig
 ##
 CONFIG_REGULATOR=y
+CONFIG_REGULATOR_ACT8865=m
 CONFIG_REGULATOR_ANATOP=m
 CONFIG_REGULATOR_AS3722=y
 CONFIG_REGULATOR_AXP20X=m
 CONFIG_REGULATOR_DA9052=m
+CONFIG_REGULATOR_FAN53555=m
 CONFIG_REGULATOR_GPIO=m
 CONFIG_REGULATOR_MC13783=m
 CONFIG_REGULATOR_MC13892=m
@@ -776,6 +807,7 @@ CONFIG_REGULATOR_S2MPA01=m
 CONFIG_REGULATOR_S2MPS11=m
 CONFIG_REGULATOR_S5M8767=m
 CONFIG_REGULATOR_TI_ABB=m
+CONFIG_REGULATOR_TPS65910=m
 CONFIG_REGULATOR_TWL4030=y
 CONFIG_REGULATOR_VEXPRESS=m
 
@@ -827,6 +859,7 @@ CONFIG_SPI_IMX=m
 CONFIG_SPI_OMAP24XX=m
 CONFIG_SPI_ORION=m
 CONFIG_SPI_PL022=m
+CONFIG_SPI_ROCKCHIP=m
 CONFIG_SPI_SUN4I=m
 CONFIG_SPI_SUN6I=m
 CONFIG_SPI_TEGRA20_SFLASH=m
@@ -840,6 +873,7 @@ CONFIG_LIS3L02DQ=m
 ##
 ## file: drivers/thermal/Kconfig
 ##
+CONFIG_ROCKCHIP_THERMAL=m
 CONFIG_ARMADA_THERMAL=y
 
 ##
@@ -1083,6 +1117,15 @@ CONFIG_SND_OMAP_SOC_OMAP_TWL4030=m
 CONFIG_SND_OMAP_SOC_OMAP_ABE_TWL6040=m
 CONFIG_SND_OMAP_SOC_OMAP3_PANDORA=m
 
+##
+## file: sound/soc/rockchip/Kconfig
+##
+CONFIG_SND_SOC_ROCKCHIP=m
+CONFIG_SND_SOC_ROCKCHIP_I2S=m
+CONFIG_SND_SOC_ROCKCHIP_SPDIF=m
+CONFIG_SND_SOC_ROCKCHIP_MAX98090=m
+CONFIG_SND_SOC_ROCKCHIP_RT5645=m
+
 ##
 ## file: sound/soc/tegra/Kconfig
 ##