added license
[rpikern] / rpikern.ld
index 074a182..9e344b1 100644 (file)
@@ -1,20 +1,25 @@
 SECTIONS {
        . = 0x00008000;
+       _stacktop = .;
        _kern_start = .;
 
-       .startup : { KEEP(* (.startup)) }
-       .text : { * (.text); }
-       .rotdata : { * (.rodata); }
-       .data : { * (.data); }
+       .text : {
+               KEEP(* (.startup*));
+               * (.text*);
+       }
+
+       .rodata ALIGN(4): { * (.rodata*); }
+       .data ALIGN(4): { * (.data*); }
 
        .bss ALIGN(4): {
                _bss_start = .;
-               * (.bss);
+               * (.bss*);
                . = ALIGN(4);
                _bss_end = .;
        }
        _bss_size = SIZEOF(.bss);
 
+       . = ALIGN(4);
        _kern_size = . - _kern_start;
        _mem_start = .;
 }