diff --git a/apps/system/CMakeLists.txt b/apps/system/CMakeLists.txt
index da3d4ba..5d74eae 100644
--- a/apps/system/CMakeLists.txt
+++ b/apps/system/CMakeLists.txt
@@ -74,7 +74,10 @@ DeclareCAmkESComponent(SeL4Debug
 )
 
 DeclareCAmkESComponent(VectorCoreDriver
-  SOURCES components/VectorCoreDriver/src/driver.c
+  SOURCES
+  components/VectorCoreDriver/src/driver.c
+  INCLUDES
+  vc_top-gen/include
 )
 
 DeclareCAmkESRootserver(system.camkes)
diff --git a/apps/system/components/VectorCoreDriver/src/driver.c b/apps/system/components/VectorCoreDriver/src/driver.c
index b748c0a..ca807af 100644
--- a/apps/system/components/VectorCoreDriver/src/driver.c
+++ b/apps/system/components/VectorCoreDriver/src/driver.c
@@ -1,8 +1,9 @@
 #include <camkes.h>
 #include <stdint.h>
 
-// TODO: Set offsets into memory based on `csr`.
-#define CTRL (csr + 0x0)
+#include "vc_top/vc_top.h"
+
+#define CTRL (csr + VC_TOP_CTRL_REG_OFFSET)
 
 void vctop_set_ctrl(uint32_t ctrl) {
     *((volatile uint32_t*)CTRL) = ctrl;