diff --git a/repos/os/src/drivers/gpio/spec/rpi/empty.cc b/repos/os/src/drivers/gpio/spec/rpi/empty.cc
new file mode 100644
index 0000000000..066c1bf825
--- /dev/null
+++ b/repos/os/src/drivers/gpio/spec/rpi/empty.cc
@@ -0,0 +1,3 @@
+/*
+ * Dummy compilation unit needed to link a valid target.
+ */
diff --git a/repos/os/src/drivers/gpio/spec/rpi/target.mk b/repos/os/src/drivers/gpio/spec/rpi/target.mk
index aa3c71cedb..786803f8ef 100644
--- a/repos/os/src/drivers/gpio/spec/rpi/target.mk
+++ b/repos/os/src/drivers/gpio/spec/rpi/target.mk
@@ -1,3 +1,4 @@
 TARGET   = gpio_drv
 REQUIRES = rpi
 LIBS    += gpio
+SRC_CC   = empty.cc