#include <efi.h> EFI_STATUS efi_main(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *ST) { ST->ConOut->OutputString(ST->ConOut, L"Hello World\r\n"); for(;;){} return EFI_SUCCESS; }