diff options
Diffstat (limited to 'firmware/lib/vboot_api_kernel.c')
-rw-r--r-- | firmware/lib/vboot_api_kernel.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/firmware/lib/vboot_api_kernel.c b/firmware/lib/vboot_api_kernel.c index 483d47ed..3f1dfc5c 100644 --- a/firmware/lib/vboot_api_kernel.c +++ b/firmware/lib/vboot_api_kernel.c @@ -5,6 +5,8 @@ * High-level firmware wrapper API - entry points for kernel selection */ +#include "sysincludes.h" + #include "gbb_header.h" #include "load_kernel_fw.h" #include "rollback_index.h" |