diff --git a/repos/base-hw/include/spec/imx53/drivers/trustzone.h b/repos/base-hw/include/drivers/defs/imx53_trustzone.h
similarity index 100%
rename from repos/base-hw/include/spec/imx53/drivers/trustzone.h
rename to repos/base-hw/include/drivers/defs/imx53_trustzone.h
diff --git a/repos/base-hw/src/bootstrap/spec/imx53_qsb/platform_trustzone.cc b/repos/base-hw/src/bootstrap/spec/imx53_qsb/platform_trustzone.cc
index 86ba279949..cbb5326750 100644
--- a/repos/base-hw/src/bootstrap/spec/imx53_qsb/platform_trustzone.cc
+++ b/repos/base-hw/src/bootstrap/spec/imx53_qsb/platform_trustzone.cc
@@ -12,7 +12,7 @@
  */
 
 #include <platform.h>
-#include <spec/imx53/drivers/trustzone.h>
+#include <drivers/defs/imx53_trustzone.h>
 #include <spec/arm/imx_aipstz.h>
 #include <spec/arm/imx_csu.h>
 
diff --git a/repos/base-hw/src/bootstrap/spec/usb_armory/platform.cc b/repos/base-hw/src/bootstrap/spec/usb_armory/platform.cc
index 82fbbc8fcc..5549141a3c 100644
--- a/repos/base-hw/src/bootstrap/spec/usb_armory/platform.cc
+++ b/repos/base-hw/src/bootstrap/spec/usb_armory/platform.cc
@@ -12,7 +12,7 @@
  */
 
 #include <platform.h>
-#include <spec/imx53/drivers/trustzone.h>
+#include <drivers/defs/imx53_trustzone.h>
 #include <spec/arm/imx_aipstz.h>
 #include <spec/arm/imx_csu.h>
 
diff --git a/repos/base-hw/src/core/spec/imx53/trustzone/platform_services.cc b/repos/base-hw/src/core/spec/imx53/trustzone/platform_services.cc
index 5b1a5db06f..b76e5972ae 100644
--- a/repos/base-hw/src/core/spec/imx53/trustzone/platform_services.cc
+++ b/repos/base-hw/src/core/spec/imx53/trustzone/platform_services.cc
@@ -13,7 +13,7 @@
 
 /* Genode includes */
 #include <base/service.h>
-#include <drivers/trustzone.h>
+#include <drivers/defs/imx53_trustzone.h>
 
 /* Core includes */
 #include <platform.h>
diff --git a/repos/os/src/server/tz_vmm/spec/imx53/main.cc b/repos/os/src/server/tz_vmm/spec/imx53/main.cc
index b58bff289c..55a013c0ec 100644
--- a/repos/os/src/server/tz_vmm/spec/imx53/main.cc
+++ b/repos/os/src/server/tz_vmm/spec/imx53/main.cc
@@ -17,7 +17,7 @@
 #include <base/heap.h>
 #include <base/component.h>
 #include <drivers/defs/imx53.h>
-#include <drivers/trustzone.h>
+#include <drivers/defs/imx53_trustzone.h>
 
 /* local includes */
 #include <vm.h>