crates/sel4-kernel-loader: Add missing kernel config includes

Signed-off-by: Nick Spinale <[email protected]>
seL4 · May 3, 2024 · 0859d99 · 0859d99
1 parent 7b5cb21
commit 0859d99
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git 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
@@ -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