# HG changeset patch
# User taiki
# Date 1358790444 -32400
# Node ID 479240de2d64496ebf153aec602170eeeeb46d6b
# Parent  19d073459374fb9c29c047a6c133a1bf4ffc6c8b
fix mach-o header

diff -r 19d073459374 -r 479240de2d64 boot/bootx64.c
--- a/boot/bootx64.c	Mon Jan 21 23:29:01 2013 +0900
+++ b/boot/bootx64.c	Tue Jan 22 02:47:24 2013 +0900
@@ -1,5 +1,6 @@
 #include <efi.h>
 #include <efilib.h>
+#include "mach-o/loader.h"
 
 EFI_STATUS
 efi_main(EFI_HANDLE image, EFI_SYSTEM_TABLE *system_table)
diff -r 19d073459374 -r 479240de2d64 boot/bootx64.efi
Binary file boot/bootx64.efi has changed