diff --git a/crates/sel4-kernel-loader/asm/aarch32/head.S b/crates/sel4-kernel-loader/asm/aarch32/head.S
index afdd6e835..26adcbc39 100644
--- a/crates/sel4-kernel-loader/asm/aarch32/head.S
+++ b/crates/sel4-kernel-loader/asm/aarch32/head.S
@@ -5,6 +5,8 @@
  * SPDX-License-Identifier: GPL-2.0-only
  */
 
+#include <kernel/gen_config.h>
+
 #include "macros.h"
 #include "registers.h"
 #include "mm.h"
diff --git a/crates/sel4-kernel-loader/asm/aarch64/mm.h b/crates/sel4-kernel-loader/asm/aarch64/mm.h
index 487ffdc35..16cba498c 100644
--- a/crates/sel4-kernel-loader/asm/aarch64/mm.h
+++ b/crates/sel4-kernel-loader/asm/aarch64/mm.h
@@ -5,6 +5,8 @@
  * SPDX-License-Identifier: GPL-2.0-only
  */
 
+#include <kernel/gen_config.h>
+
 #include "registers.h"
 
 #ifdef CONFIG_ARM_PA_SIZE_BITS_40