4 /* kernel will be loaded at 1MB by the boot loader */
7 /* .startup needs to be first for the entry point to be at 1MB */
8 .startup : { * (.startup); }
9 /* the rest of the image sections */
10 .text : { * (.text); }
11 .rodata : { * (.rodata); }
12 .data : { * (.data); }
14 /* create markers for the start/end of the .bss section so that startup
15 * can initialize it to zero before transfering control to the C code.
23 _bss_size = SIZEOF(.bss);
25 /* end of kernel marker. the allocator will mark all memory up to this