From 0859d99259bf692939dff565b2f848ce6757a3e3 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Fri, 3 May 2024 20:18:04 +0000 Subject: [PATCH] crates/sel4-kernel-loader: Add missing kernel config includes Signed-off-by: Nick Spinale --- crates/sel4-kernel-loader/asm/aarch32/head.S | 2 ++ crates/sel4-kernel-loader/asm/aarch64/mm.h | 2 ++ 2 files changed, 4 insertions(+) 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 + #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 + #include "registers.h" #ifdef CONFIG_ARM_PA_SIZE_BITS_40