# HG changeset patch
# User taiki
# Date 1355847008 -32400
# Node ID c778c27450cce9031c9a81b3f40939c3f356870f
# Parent  a394e109feeb41a13a8df322fbee7899bf6e3c3e
change executable file

diff -r a394e109feeb -r c778c27450cc boot/bootx64.c
--- a/boot/bootx64.c	Tue Dec 18 17:55:09 2012 +0900
+++ b/boot/bootx64.c	Wed Dec 19 01:10:08 2012 +0900
@@ -1,14 +1,12 @@
 #include <efi.h>
 #include <efilib.h>
 
+
 EFI_STATUS
 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");
+    Print(L"Hello, World\n\r");
     EFI_STATUS ret = EFI_SUCCESS;
     return ret;
 }
diff -r a394e109feeb -r c778c27450cc boot/bootx64.efi
Binary file boot/bootx64.efi has changed