#include <efilib.h>
EFI_STATUS EFIAPI
efi_main(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable)
{
InitializeLib(ImageHandle, SystemTable);
Print(L"Hello from bootx64.efi!\n");
// Ну и тут ваш загрузчик
return EFI_SUCCESS;
}
sudo apt install gnu-efi gcc-x86-64-linux-gnu
x86_64-w64-mingw32-gcc -I/usr/include/gnu-efi -I/usr/lib/gnu-efi/inc \
-DEFI_FUNCTION_WRAPPER -mno-red-zone -fpic -ffreestanding \
-c boot.c -o boot.o
x86_64-w64-mingw32-ld -nostdlib -znocombreloc -T /usr/lib/gnu-efi/gnuefi/elf_x86_64_efi.lds \
-shared -Bsymbolic -L/usr/lib/gnu-efi/lib -o bootx64.efi boot.o -lefi -lgnuefi