armv8: Fix include paths in EFI loader
authorDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Fri, 27 Sep 2019 07:45:08 +0000 (09:45 +0200)
committerDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Fri, 27 Sep 2019 07:55:33 +0000 (09:55 +0200)
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

tools/armv8_bootimage/efi_loader.c

index af44c22..c1d6097 100644 (file)
@@ -19,8 +19,8 @@
 #include <efi/efi.h>
 #include <efi/efilib.h>
 #include <multiboot2.h>
-#include "../../include/barrelfish_kpi/types.h"
-#include "../../include/target/aarch64/barrelfish_kpi/arm_core_data.h"
+#include <barrelfish_kpi/types.h>
+#include <barrelfish_kpi/arm_core_data.h>
 #include "blob.h"
 #include "vm.h"