Changeset 361 for soft

Timestamp:

Jul 23, 2014, 10:14:33 AM (10 years ago)

Author:

alain

Message:

Remove the seg_boot_buffer from the generated hard_config.h file.

File:

• soft/giet_vm/giet_python/mapping.py (modified) (4 diffs)

soft/giet_vm/giet_python/mapping.py

@@ -1010 +1010 @@
         boot_code_found      = False
         boot_data_found      = False
-        boot_buffer_found    = False
         boot_stack_found     = False
 
@@ -1032 +1031 @@
                 boot_data_found         = True
 
-            if ( vseg.name == 'seg_boot_buffer' ):
-                boot_buffer_base        = vseg.vbase 
-                boot_buffer_size        = vseg.vobjs[0].length
-                boot_buffer_identity    = vseg.identity
-                boot_buffer_found       = True
-
             if ( vseg.name == 'seg_boot_stack' ):
                 boot_stack_base         = vseg.vbase 
@@ -1055 +1048 @@
         if ( (boot_data_found == False) or (boot_data_identity == False) ): 
              print '[genmap error] in hard_config() : seg_boot_data missing or not ident'
-             sys.exit()
-
-        if ( (boot_buffer_found == False) or (boot_buffer_identity == False) ): 
-             print '[genmap error] in hard_config() : seg_boot_buffer missing or not ident'
              sys.exit()
 
@@ -1195 +1184 @@
         s += '#define SEG_BOOT_DATA_BASE     0x%x\n'  % boot_data_base
         s += '#define SEG_BOOT_DATA_SIZE     0x%x\n'  % boot_data_size
-        s += '\n'
-        s += '#define SEG_BOOT_BUFFER_BASE   0x%x\n'  % boot_buffer_base
-        s += '#define SEG_BOOT_BUFFER_SIZE   0x%x\n'  % boot_buffer_size
         s += '\n'
         s += '#define SEG_BOOT_STACK_BASE    0x%x\n'  % boot_stack_base