OUTPUT_FORMAT("elf32-i386") OUTPUT("kernel") ENTRY(entry) SECTIONS { boot.text 0x400000 : AT(0x400000) { *(boot.text) . = ALIGN(4096); } boot.data 0x400000 + SIZEOF(boot.text) : AT(0x400000 + SIZEOF(boot.text)) { *(boot.data) . = ALIGN(4096); } .text 0xC0100000 : AT(0x500000) { *(.text) . = ALIGN(4096); } .data 0xC0100000 + SIZEOF(.text) : AT(0x500000 + SIZEOF(.text)) { *(.data) . = ALIGN(4096); } .bss 0xC0100000 + SIZEOF(.data) + SIZEOF(.text) : AT(0x500000 + SIZEOF(.data) + SIZEOF(.text)) { *(.bss) *(COMMON) . = ALIGN(4096); } }