Changeset 245 for soft/giet_vm/boot

Timestamp:

Jun 17, 2013, 11:38:40 PM (12 years ago)

Author:

alain

Message:

Introducing a new global vseg : seg_boot_data, in order
to clearly separate the seg_boot_code (Read-Only) and
the seg_boot_data (Read/Write?). This is mandatory,
if the boot code is stored in a real ROM.

Location:

soft/giet_vm/boot

Files:

• boot.ld (modified) (1 diff)
• boot_init.c (modified) (1 diff)

soft/giet_vm/boot/boot.ld

@@ -17 +17 @@
         *(.boot)
         *(.text)
-
         *(.rodata)
         *(.rodata.*)
-        *(.data)
-        *(.lit8)
-        *(.lit4)
-        *(.sdata)
-        *(.bss)
-        *(COMMON)
-        *(.sbss)
-        *(.scommon)
+    }
+
+    . = seg_boot_data_base;
+    seg_boot_data :
+    {
+        *(.wdata)
     }
 }

soft/giet_vm/boot/boot_init.c

@@ -89 +89 @@
 
 // Page table addresses arrays
+__attribute__((section (".wdata"))) 
 paddr_t      boot_ptabs_paddr[GIET_NB_VSPACE_MAX];
+
+__attribute__((section (".wdata"))) 
 unsigned int boot_ptabs_vaddr[GIET_NB_VSPACE_MAX];
 
 // Scheduler pointers array (virtual addresses)
+__attribute__((section (".wdata"))) 
 static_scheduler_t* boot_schedulers[NB_CLUSTERS * NB_PROCS_MAX];
 
 // Next free PT2 index array
+__attribute__((section (".wdata"))) 
 unsigned int boot_next_free_pt2[GIET_NB_VSPACE_MAX] =
 { [0 ... GIET_NB_VSPACE_MAX - 1] = 0 };
 
 // Max PT2 index 
+__attribute__((section (".wdata"))) 
 unsigned int boot_max_pt2[GIET_NB_VSPACE_MAX] =
 { [0 ... GIET_NB_VSPACE_MAX - 1] = 0 };