OUTPUT_FORMAT(binary) SECTIONS { . = 0x100000; .text BLOCK(4K) : ALIGN(4K) { *(.text) } .bss BLOCK(4K) : ALIGN(4K) { *(.bss) } .data BLOCK(4K) : ALIGN(4K) { *(.data) } kernel_end = .; }