startup and debug led

[rpikern] / rpikern.ld

diff --git a/rpikern.ld b/rpikern.ld
index 074a182..3843a15 100644 (file)
--- a/rpikern.ld
+++ b/rpikern.ld
@@ -1,15 +1,18 @@
 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 = .;
        }