diff --git a/tool/builddir/etc/build.conf.hw_imx53_tz b/tool/builddir/etc/build.conf.hw_imx53_tz
new file mode 100644
index 000000000..bcc258b3d
--- /dev/null
+++ b/tool/builddir/etc/build.conf.hw_imx53_tz
@@ -0,0 +1 @@
+REPOSITORIES += $(GENODE_DIR)/repos/base-hw
diff --git a/tool/create_builddir b/tool/create_builddir
index 6e836969f..603bdc80a 100755
--- a/tool/create_builddir
+++ b/tool/create_builddir
@@ -32,6 +32,7 @@ usage:
 	@echo "                  'hw_pbxa9'"
 	@echo "                  'hw_imx31'"
 	@echo "                  'hw_imx53'"
+	@echo "                  'hw_imx53_tz'"
 	@echo "                  'hw_arndale'"
 	@echo "                  'hw_odroid_xu'"
 	@echo "                  'hw_rpi'"
@@ -223,6 +224,9 @@ hw_imx31::
 hw_imx53::
 	@echo "SPECS = genode hw_imx53" > $(BUILD_DIR)/etc/specs.conf
 
+hw_imx53_tz::
+	@echo "SPECS = genode hw_imx53 trustzone" > $(BUILD_DIR)/etc/specs.conf
+
 hw_arndale::
 	@echo "SPECS = genode hw_arndale" > $(BUILD_DIR)/etc/specs.conf