diff --git a/src/plat/allwinnerA20/config.cmake b/src/plat/allwinnerA20/config.cmake
index 18300ebfb..d1154bfaf 100644
--- a/src/plat/allwinnerA20/config.cmake
+++ b/src/plat/allwinnerA20/config.cmake
@@ -12,15 +12,15 @@
 
 cmake_minimum_required(VERSION 3.7.2)
 
-declare_platform(allwinnera20 KernelPlatformAllwinnerA20 PLAT_ALLWINNERA20 KernelSel4ArchAarch32)
+declare_platform(allwinnerA20 KernelPlatformAllwinnerA20 PLAT_ALLWINNERA20 KernelSel4ArchAarch32)
 
 if(KernelPlatformAllwinnerA20)
     declare_seL4_arch(aarch32)
     set(KernelArmCortexA7 ON)
     set(KernelArchArmV7a ON)
-    config_set(KernelARMPlatform ARM_PLAT allwinnera20)
-    list(APPEND KernelDTSList "tools/dts/allwinnera20.dts")
-    list(APPEND KernelDTSList "src/plat/allwinnerA20/overlay-allwinnera20.dts")
+    config_set(KernelARMPlatform ARM_PLAT allwinnerA20)
+    list(APPEND KernelDTSList "tools/dts/allwinnerA20.dts")
+    list(APPEND KernelDTSList "src/plat/allwinnerA20/overlay-allwinnerA20.dts")
 
     declare_default_headers(
         TIMER_FREQUENCY 24000000llu
diff --git a/src/plat/allwinnerA20/overlay-allwinnera20.dts b/src/plat/allwinnerA20/overlay-allwinnerA20.dts
similarity index 100%
rename from src/plat/allwinnerA20/overlay-allwinnera20.dts
rename to src/plat/allwinnerA20/overlay-allwinnerA20.dts
diff --git a/tools/dts/allwinnera20.dts b/tools/dts/allwinnerA20.dts
similarity index 100%
rename from tools/dts/allwinnera20.dts
rename to tools/dts/allwinnerA20.dts