Index: soft/giet_vm/giet_python/mapping.py
===================================================================
--- soft/giet_vm/giet_python/mapping.py	(revision 633)
+++ soft/giet_vm/giet_python/mapping.py	(revision 642)
@@ -365,8 +365,9 @@
     def addVspace( self,
                    name,                # vspace name
-                   startname ):         # name of vseg containing start_vector
+                   startname,           # name of vseg containing start_vector
+                   active = False ):    # default value is not active at boot
 
         # add one vspace into mapping
-        vspace = Vspace( name, startname )
+        vspace = Vspace( name, startname, active )
         self.vspaces.append( vspace )
         vspace.index = self.total_vspaces
@@ -1917,9 +1918,11 @@
     def __init__( self,
                   name,
-                  startname ):
+                  startname,
+                  active ):
 
         self.index     = 0              # global index ( set by addVspace() )
         self.name      = name           # vspace name
         self.startname = startname      # name of vseg containing the start_vector
+        self.active    = active         # active at boot if true
         self.vsegs     = []
         self.tasks     = []
@@ -1930,5 +1933,6 @@
     def xml( self ):   # xml for one vspace
 
-        s =  '        <vspace name="%s" startname="%s" >\n' % ( self.name, self.startname )
+        s =  '        <vspace name="%s" startname="%s" active="%d" >\n' \
+                            %(self.name , self.startname , self.active)
         for vseg in self.vsegs: s += vseg.xml()
         for task in self.tasks: s += task.xml()
@@ -1976,4 +1980,5 @@
         byte_stream += mapping.int2bytes(4, first_vseg_id)     # global index
         byte_stream += mapping.int2bytes(4, first_task_id)     # global index
+        byte_stream += mapping.int2bytes(4, self.active)       # always active if non zero
 
         if ( verbose ):
@@ -1983,4 +1988,5 @@
             print 'vseg_id    = %d' %  first_vseg_id
             print 'task_id    = %d' %  first_task_id
+            print 'active     = %d' %  self.active
 
         return byte_stream