Add preserved_text section

seL4 · Mar 20, 2017 · cf42782 · cf42782
1 parent 45e50bb
commit cf42782
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/camkes/templates/component.template.c b/camkes/templates/component.template.c
@@ -401,7 +401,7 @@ static void /*? init ?*/(void) {
 /*- endif -*/
 
 /*- set p = Perspective(instance=me.name) -*/
-void USED /*? p['tls_symbol'] ?*/(int thread_id) {
+void USED SECTION("preserved_text") /*? p['tls_symbol'] ?*/(int thread_id) {
     switch (thread_id) {
         /*- set tcb_control = alloc('tcb_0_control', seL4_TCBObject) -*/
         /*- if realtime -*/
@@ -431,7 +431,7 @@ void USED /*? p['tls_symbol'] ?*/(int thread_id) {
 }
 
 /*- set p = Perspective(instance=me.name) -*/
-int USED /*? p['entry_symbol'] ?*/(int thread_id) {
+int USED SECTION("preserved_text") /*? p['entry_symbol'] ?*/(int thread_id) {
 #if defined(SEL4_DEBUG_KERNEL) && defined(CONFIG_CAMKES_PROVIDE_TCB_CAPS)
     /*- set thread_name = c_symbol() -*/
     char /*? thread_name ?*/[seL4_MsgMaxLength * sizeof(seL4_Word)];

diff --git a/camkes/templates/linker.lds b/camkes/templates/linker.lds
@@ -22,6 +22,7 @@ SECTIONS {
 
     /* Code. */
     .text : ALIGN(4096) {
+        KEEP(*(preserved_text));
         *(.text*)
     }