Changeset 742 for soft/giet_vm/giet_python

Timestamp:

Dec 10, 2015, 1:38:43 PM (9 years ago)

Author:

alain

Message:

Remove the seg_kernel_init vseg: All the kernel code is now packed
in one single seg_kernel_code vseg. The entry point for the _kernel_init()
function (from the boot code is now at vaddr = 0x80000000.
The goal is to use only one BPP per cluster for the replicated kernel code.

File:

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

soft/giet_vm/giet_python/mapping.py

@@ -623 +623 @@
         kernel_data_found    = False
         kernel_code_found    = False
-        kernel_init_found    = False
         for vseg in self.globs:
 
@@ -645 +644 @@
                 kernel_code_size     = vseg.length
                 kernel_code_found    = True
-
-            if ( vseg.name[0:15] == 'seg_kernel_init' ):
-                kernel_init_vbase    = vseg.vbase
-                kernel_init_size     = vseg.length
-                kernel_init_found    = True
 
         # check if all required vsegs have been found
@@ -672 +666 @@
              sys.exit()
 
-        if ( kernel_init_found    == False ):
-             print '[genmap error] in giet_vsegs()'
-             print '    seg_kernel_init vseg missing'
-             sys.exit()
-
         # build string
         s =  '/* Generated by genmap for %s */\n'  % self.name
@@ -692 +681 @@
         s += 'kernel_data_vbase    = 0x%x;\n'   % kernel_data_vbase
         s += 'kernel_data_size     = 0x%x;\n'   % kernel_data_size
-        s += '\n'
-        s += 'kernel_init_vbase    = 0x%x;\n'   % kernel_init_vbase
-        s += 'kernel_init_size     = 0x%x;\n'   % kernel_init_size
         s += '\n'