8 .text : AT(ADDR(.text) - 0xbff00000) ALIGN(4K) {
14 .rodata : AT(ADDR(.rodata) - 0xbff00000) ALIGN(4K) {
20 /* .rodata is put after .text so that the read-only entry in the program
21 * header covers .rodata as well. When .rodata is after .data, that entry
22 * only covers .text, leaving .rodata in the writable program header
23 * entry. The problem with this approach is that the program header
24 * entry where .text and .rodata are is marked as executable, which
25 * would mean that .rodata should be executable too, but that doesn't
26 * matter yet because we (currently) assume that the NX bit is not
27 * supported anyway. */
29 .data : AT(ADDR(.data) - 0xbff00000) ALIGN(4K) {
34 .bss : AT(ADDR(.bss) - 0xbff00000) ALIGN(4K) {
37 /* Reserving 16KiB for the stack. A __STACK_TOP__ is not really