| // Copyright 2016 The Fuchsia Authors. All rights reserved. | |
| // Use of this source code is governed by a BSD-style license that can be | |
| // found in the LICENSE file. | |
| #include <efi/types.h> | |
| efi_status efi_main(efi_handle img, efi_system_table* sys) { | |
| efi_simple_text_output_protocol* ConOut = sys->ConOut; | |
| ConOut->OutputString(ConOut, L"Hello, EFI World!\r\n"); | |
| return EFI_SUCCESS; | |
| } |