diff --git a/repos/os/src/drivers/platform/spec/arm_64/target.mk b/repos/os/src/drivers/platform/spec/arm_64/target.mk
new file mode 100644
index 0000000000..33d8529880
--- /dev/null
+++ b/repos/os/src/drivers/platform/spec/arm_64/target.mk
@@ -0,0 +1,7 @@
+TARGET   = platform_drv
+REQUIRES = arm_64
+SRC_CC   = device.cc device_component.cc device_model_policy.cc main.cc session_component.cc root.cc
+INC_DIR  = $(PRG_DIR)/../../spec/arm
+LIBS     = base
+
+vpath %.cc $(PRG_DIR)/../../spec/arm