Witam,
Mam problem z utworzeniem obrazu iso. Jestem początkujący w tworzeniu systemów operacyjnych. Obraz tworzy się i bootuje w virtualboxie, jednak już przy próbie utrzworznia bootowalnego USB, etcher stwierdza, że "Obraz nie jest bootwalny", a po stworzeniu USB, przy próbie bootu na fizycznym urządzeniu w ogóle nie rusza.
Z góry dziękuję za pomoc ;)

Skrypt tworzący ISO

	mkdir -p iso/EFI/BOOT/
	cp boot.efi iso/EFI/BOOT/BOOTX64.EFI
	xorriso -as mkisofs -R -f -e /EFI/BOOT/BOOTX64.EFI -no-emul-boot -o os.iso iso

BOOTX64.EFI

#include <efi.h>
#include <efilib.h>
#include <efiprot.h>

EFI_STATUS
efi_main (EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable)
{
    InitializeLib(ImageHandle, SystemTable);
    Print(L"Hello, world from x64!");
    for(;;) __asm__("hlt");
}