ENTRY(efi_main)

SECTIONS {
    . = 0x100000;  /* or whatever uefi loads you at */
    __kernel_start = .;

    . = ALIGN(4K);
    .text : { *(.text .text.*) }

    . = ALIGN(4K);
    .rodata : { *(.rodata .rodata.*) }

    . = ALIGN(4K);
    .data : { *(.data .data.*) }

    . = ALIGN(4K);
    .bss : { *(.bss .bss.*) }

    . = ALIGN(4K);
    __kernel_end = .;

    /DISCARD/ : {
        *(.eh_frame)
        *(.eh_frame_hdr)
        *(.note.*)
        *(.comment)
    }
}