# HG changeset patch
# User taiki
# Date 1355820909 -32400
# Node ID a394e109feeb41a13a8df322fbee7899bf6e3c3e
# Parent  4b51f0c01fa7573ffe0032500309eefd8fed81cd
new executable file

diff -r 4b51f0c01fa7 -r a394e109feeb boot/bootx64.c
--- a/boot/bootx64.c	Tue Dec 18 17:01:31 2012 +0900
+++ b/boot/bootx64.c	Tue Dec 18 17:55:09 2012 +0900
@@ -2,8 +2,13 @@
 #include <efilib.h>
 
 EFI_STATUS
-efi_main(EFI_HANDLE image, EFI_SYSTEM_TABLE *system_tab)
+efi_main(EFI_HANDLE image, EFI_SYSTEM_TABLE *system_table)
 {
+    SIMPLE_TEXT_OUTPUT_INTERFACE *conout;
+
+    conout = system_table->ConOut;
+    InitializeLib(image, system_table);
+    uefi_call_wrapper(conout->OutputString, 2, conout, L"Hello World\n\r");
     EFI_STATUS ret = EFI_SUCCESS;
     return ret;
 }
diff -r 4b51f0c01fa7 -r a394e109feeb boot/bootx64.efi
Binary file boot/bootx64.efi has changed