diff --git a/filesystem/resources/console-font.sh b/filesystem/resources/console-font.sh
index 56f8ec39c..ed2db961c 100755
--- a/filesystem/resources/console-font.sh
+++ b/filesystem/resources/console-font.sh
@@ -20,6 +20,7 @@
 
 device_veyron_speedy="Google Speedy"
 device_veyron_minnie="Google Minnie"
+device_veyron_mickey="Google Mickey"
 device_gru_kevin="Google Kevin"
 device_gru_bob="Google Bob"
 
diff --git a/kernel/resources/armhf/kernel.its b/kernel/resources/armhf/kernel.its
index fff1757e3..34ad5cb80 100644
--- a/kernel/resources/armhf/kernel.its
+++ b/kernel/resources/armhf/kernel.its
@@ -37,6 +37,17 @@
 				algo = "sha1";
 			};
 		};
+		fdt@3 {
+                        description = "dtb";
+                        data = /incbin/("arch/arm/boot/dts/rk3288-veyron-mickey.dtb");
+                        type = "flat_dt";
+                        arch = "arm";
+                        compression = "none";
+                        hash {
+                                algo = "sha1";
+                        };
+                };
+
 	};
 	configurations {
 		default = "conf@1";
@@ -48,5 +59,10 @@
 			kernel = "kernel@1";
 			fdt = "fdt@2";
 		};
+                conf@3{
+                        kernel = "kernel@1";
+                        fdt = "fdt@3";
+                };
+
 	};
 };
diff --git a/kernel/resources/shared/FlashKernelPartition.sh b/kernel/resources/shared/FlashKernelPartition.sh
index 716214f77..008be5043 100755
--- a/kernel/resources/shared/FlashKernelPartition.sh
+++ b/kernel/resources/shared/FlashKernelPartition.sh
@@ -23,6 +23,7 @@
 ### SHARED CONST AND VARS
 device_veyron_speedy="Google Speedy"
 device_veyron_minnie="Google Minnie"
+device_veyron_mickey="Google Mickey"
 device_gru_kevin="Google Kevin"
 device_gru_bob="Google Bob"
 
@@ -36,6 +37,7 @@ get_emmc_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk2;;
         $device_veyron_minnie) local devname=mmcblk2;;
+	$device_veyron_mickey) local devname=mmcblk2;;
         $device_gru_kevin) local devname=mmcblk0;;
         $device_gru_bob) local devname=mmcblk0;;
         * ) echo "Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
@@ -49,6 +51,7 @@ get_sd_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk0;;
         $device_veyron_minnie) local devname=mmcblk0;;
+	$device_veyron_mickey) local devname=mmcblk0;;
         $device_gru_kevin) local devname=mmcblk1;;
         $device_gru_bob) local devname=mmcblk1;;
         * ) echo "Unknown device! can't determine sd card devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
diff --git a/scripts/InstallScripts/InstallPackages.sh b/scripts/InstallScripts/InstallPackages.sh
index 10c9a5b56..86f79a2cf 100755
--- a/scripts/InstallScripts/InstallPackages.sh
+++ b/scripts/InstallScripts/InstallPackages.sh
@@ -24,6 +24,7 @@ SCRIPTS=/etc/prawnos/install/scripts
 # TODO: when these scripts are packaged, place these in a shared script instead of in every file that needs them
 device_veyron_speedy="Google Speedy"
 device_veyron_minnie="Google Minnie"
+device_veyron_mickey="Google Mickey"
 device_gru_kevin="Google Kevin"
 device_gru_bob="Google Bob"
 
@@ -37,6 +38,7 @@ get_emmc_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk2;;
         $device_veyron_minnie) local devname=mmcblk2;;
+	$device_veyron_mickey) local devname=mmcblk2;;
         $device_gru_kevin) local devname=mmcblk1;;
         $device_gru_bob) local devname=mmcblk1;;
         * ) echo "Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
@@ -50,6 +52,7 @@ get_sd_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk0;;
         $device_veyron_minnie) local devname=mmcblk0;;
+	$device_veyron_mickey) local devname=mmcblk0;;
         $device_gru_kevin) local devname=mmcblk0;;
         $device_gru_bob) local devname=mmcblk0;;
         * ) echo "Unknown device! can't determine sd card devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
diff --git a/scripts/InstallScripts/InstallPrawnOS.sh b/scripts/InstallScripts/InstallPrawnOS.sh
index 3826c783c..cc8613092 100755
--- a/scripts/InstallScripts/InstallPrawnOS.sh
+++ b/scripts/InstallScripts/InstallPrawnOS.sh
@@ -27,6 +27,7 @@ SCRIPTS=/etc/prawnos/install/scripts
 # TODO: when these scripts are packaged, place these in a shared script instead of in every file that needs them
 device_veyron_speedy="Google Speedy"
 device_veyron_minnie="Google Minnie"
+device_veyron_mickey="Google Mickey"
 device_gru_kevin="Google Kevin"
 device_gru_bob="Google Bob"
 
@@ -40,6 +41,7 @@ get_emmc_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk2;;
         $device_veyron_minnie) local devname=mmcblk2;;
+	$device_veyron_mickey) local devname=mmcblk2;;
         $device_gru_kevin) local devname=mmcblk1;;
         $device_gru_bob) local devname=mmcblk1;;
         * ) echo "Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
@@ -53,6 +55,7 @@ get_sd_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk0;;
         $device_veyron_minnie) local devname=mmcblk0;;
+	$device_veyron_mickey) local devname=mmcblk0;;
         $device_gru_kevin) local devname=mmcblk0;;
         $device_gru_bob) local devname=mmcblk0;;
         * ) echo "Unknown device! can't determine sd card devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;