Changeset 245 for soft/giet_vm/boot/boot_init.c

Timestamp:

Jun 17, 2013, 11:38:40 PM (11 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.

File:

• soft/giet_vm/boot/boot_init.c (modified) (1 diff)

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 };