1 2 3 4 5 6 7 8 9
OUTPUT_FORMAT("binary") OUTPUT_ARCH(i386) ENTRY(_start) SECTIONS { /* Our bootloader loads kernel at 4 KiB */ . = 0x1000; }