diff --git a/repos/os/include/spec/pbxa9/pl11x_defs.h b/repos/os/src/drivers/framebuffer/spec/pl11x/pbxa9/pl11x_defs.h
similarity index 100%
rename from repos/os/include/spec/pbxa9/pl11x_defs.h
rename to repos/os/src/drivers/framebuffer/spec/pl11x/pbxa9/pl11x_defs.h
diff --git a/repos/os/include/spec/pbxa9/sp810_defs.h b/repos/os/src/drivers/framebuffer/spec/pl11x/pbxa9/sp810_defs.h
similarity index 100%
rename from repos/os/include/spec/pbxa9/sp810_defs.h
rename to repos/os/src/drivers/framebuffer/spec/pl11x/pbxa9/sp810_defs.h
diff --git a/repos/os/src/drivers/framebuffer/spec/pl11x/pbxa9/target.mk b/repos/os/src/drivers/framebuffer/spec/pl11x/pbxa9/target.mk
index b8ee214722..ebccc32cbc 100644
--- a/repos/os/src/drivers/framebuffer/spec/pl11x/pbxa9/target.mk
+++ b/repos/os/src/drivers/framebuffer/spec/pl11x/pbxa9/target.mk
@@ -2,6 +2,6 @@ TARGET   = fb_drv
 REQUIRES = pl11x pbxa9
 SRC_CC   = main.cc
 LIBS     = base
-INC_DIR += $(PRG_DIR)/..
+INC_DIR += $(PRG_DIR)
 
 vpath %.cc $(PRG_DIR)/..