Changeset 245 for soft/giet_vm/xml/xml_parser.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/xml/xml_parser.c (modified) (2 diffs)

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");