Changeset 245 for soft/giet_vm

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.

Location:

soft/giet_vm

Files:

• boot/boot.ld (modified) (1 diff)
• boot/boot_init.c (modified) (1 diff)
• mappings/4c_1p_40.xml (modified) (6 diffs)
• xml/xml_parser.c (modified) (2 diffs)

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

soft/giet_vm/mappings/4c_1p_40.xml

@@ -23 +23 @@
             <pseg name = "PSEG_TTY"  type = "PERI" base = "0x00B4000000" length = "0x0000001000" /> 
             <pseg name = "PSEG_NIC"  type = "PERI" base = "0x00B5000000" length = "0x0000021000" />
+            <pseg name = "PSEG_CMA"  type = "PERI" base = "0x00B6000000" length = "0x0000004000" />
+            <pseg name = "PSEG_IOB"  type = "PERI" base = "0x00BE000000" length = "0x0000100000" />
             <pseg name = "PSEG_ROM"  type = "ROM"  base = "0x00BFC00000" length = "0x0000100000" />
 
@@ -46 +48 @@
             </proc> 
 
-            <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "1" /> 
+            <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "4" /> 
             <periph type = "XICU" psegname = "PSEG_XICU" channels = "18" />
             <periph type = "IOC"  psegname = "PSEG_IOC"  channels = "1" /> 
             <periph type = "TTY"  psegname = "PSEG_TTY"  channels = "8" /> 
-            <periph type = "NIC"  psegname = "PSEG_NIC"  channels = "8" />
+            <periph type = "NIC"  psegname = "PSEG_NIC"  channels = "2" />
             <periph type = "FBF"  psegname = "PSEG_FBF" />
         </cluster>
@@ -64 +66 @@
             </proc>
 
-            <periph type = "DMA"  psegname = "PSEG_DMA" channels = "1" />
+            <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "4" />
             <periph type = "XICU" psegname = "PSEG_XICU" channels = "2" />
         </cluster>
@@ -78 +80 @@
             </proc>
 
-            <periph type = "DMA"  psegname = "PSEG_DMA" channels = "1" />
+            <periph type = "DMA"  psegname = "PSEG_DMA"  channels = "4" />
             <periph type = "XICU" psegname = "PSEG_XICU" channels = "2" />
         </cluster>
@@ -92 +94 @@
             </proc>
 
-            <periph  type = "DMA" psegname = "PSEG_DMA"  channels = "1" />
+            <periph  type = "DMA" psegname = "PSEG_DMA"  channels = "4" />
             <periph type = "XICU" psegname = "PSEG_XICU" channels = "2" />
         </cluster>
@@ -106 +108 @@
             <vobj name = "boot_code"      type = "ELF" length = "0x00008000" binpath    = "build/boot/boot.elf" />
         </vseg>
-        <vseg name = "seg_boot_mapping"   vbase = "0xBFC08000" mode = "C_W_" clusterid = "0" psegname = "PSEG_ROM" ident = "1" >
+        <vseg name = "seg_boot_data"      vbase = "0x00000000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
+            <vobj name = "boot_data"      type = "ELF" length = "0x00001000" binpath    = "build/boot/boot.elf" />
+        </vseg>
+        <vseg name = "seg_boot_stack"     vbase = "0x00001000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
+            <vobj name = "boot_stack"     type = "BUFFER" length = "0x00003000" />
+        </vseg>
+        <vseg name = "seg_boot_mapping"   vbase = "0x00004000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
             <vobj name = "boot_mapping"   type = "BLOB" length  = "0x00004000" binpath  = "map.bin" />
-        </vseg>
-        <vseg name = "seg_boot_stack"     vbase = "0x00000000" mode = "C_W_" clusterid = "0" psegname = "PSEG_RAM" ident = "1" >
-            <vobj name = "boot_stack"     type = "BUFFER" length = "0x00004000" />
         </vseg>
 

soft/giet_vm/xml/xml_parser.c

@@ -2212 +2212 @@
             count++;
         }
+        else if ( strcmp(vseg[vseg_id]->name, "seg_boot_data") == 0 )
+        {
+            ld_write(fdout, "seg_boot_data_base      ",  vseg[vseg_id]->vbase);
+            count++;
+        }
         else if ( strcmp(vseg[vseg_id]->name, "seg_boot_stack") == 0 )
         {
@@ -2243 +2248 @@
         }
     }
-    if ( count != 7 )
+    if ( count != 8 )
     { 
         printf ("[XML ERROR] Missing Boot or Kernel vseg : only %d\n", count);
         printf ("Mandatory segments are :\n");
         printf (" - seg_boot_code\n");
+        printf (" - seg_boot_data\n");
         printf (" - seg_boot_stack\n");
         printf (" - seg_boot_mapping\n");