diff --git a/runtime/include/dev.h b/app/device_assignment/rmm_stub/include/dev.h
similarity index 98%
rename from runtime/include/dev.h
rename to app/device_assignment/rmm_stub/include/dev.h
index 61f90ed..e6516e7 100644
--- a/runtime/include/dev.h
+++ b/app/device_assignment/rmm_stub/include/dev.h
@@ -11,7 +11,6 @@
 #include <arch_features.h>
 #include <granule.h>
 #include <sizes.h>
-#include <smc-handler.h>
 #include <smc-rmi.h>
 #include <utils_def.h>