Index: soft/giet_vm/mappings/1c_4p_four.xml
===================================================================
--- soft/giet_vm/mappings/1c_4p_four.xml	(revision 234)
+++ soft/giet_vm/mappings/1c_4p_four.xml	(revision 235)
@@ -22,5 +22,4 @@
 *** Peripherals unused in the hardware architecture 
 
-            <pseg name = "PSEG_TIM" type = "PERI" base = "0x00F40000" length = "0x00001000" /> 
             <pseg name = "PSEG_GCD" type = "PERI" base = "0x00F50000" length = "0x00001000" /> 
             <pseg name = "PSEG_COP" type = "PERI" base = "0x00F60000" length = "0x00001000" /> 
@@ -28,5 +27,5 @@
 
             <proc index = "0" >
-                <irq type = "HARD" icuid = "0"  isr = "ISR_SWITCH" /> 
+                <irq type = "PTI"  icuid = "0"  isr = "ISR_SWITCH" /> 
                 <irq type = "HARD" icuid = "8"  isr = "ISR_DMA" channel = "0" /> 
                 <irq type = "HARD" icuid = "9"  isr = "ISR_DMA" channel = "1" /> 
@@ -56,13 +55,13 @@
 
             <proc index = "1" >
-                <irq type = "HARD" icuid = "1" isr = "ISR_SWITCH" />
+                <irq type = "PTI"  icuid = "1" isr = "ISR_SWITCH" />
             </proc>
 
             <proc index = "2" >
-                <irq type = "HARD" icuid = "2" isr = "ISR_SWITCH" />
+                <irq type = "PTI"  icuid = "2" isr = "ISR_SWITCH" />
             </proc>
 
             <proc    index  = "3" >
-                <irq type = "HARD" icuid = "3" isr = "ISR_SWITCH" />
+                <irq type = "PTI"  icuid = "3" isr = "ISR_SWITCH" />
             </proc>
 
@@ -71,5 +70,4 @@
             <periph type = "TTY" psegname = "PSEG_TTY" channels  = "8" /> 
             <periph type = "DMA" psegname = "PSEG_DMA" channels  = "1" /> 
-            <periph type = "TIM" psegname = "PSEG_TIM" channels  = "4" /> 
             <periph type = "XICU" psegname = "PSEG_ICU" channels  = "5" /> 
             <periph type = "FBF" psegname = "PSEG_FBF" /> 
@@ -126,7 +124,4 @@
         <vseg name = "seg_dma"          vbase = "0x00F30000" mode = "__W_" clusterid = "0" psegname = "PSEG_DMA" ident = "1" > 
             <vobj name = "dma"          type = "PERI" length  = "0x00008000" /> 
-        </vseg>
-        <vseg name = "seg_tim"          vbase = "0x00F40000" mode = "__W_" clusterid = "0" psegname = "PSEG_TIM" ident = "1" > 
-            <vobj name = "tim"          type = "PERI" length  = "0x00001000" />
         </vseg>
         <vseg name = "seg_gcd"          vbase = "0x00F50000" mode = "__W_" clusterid = "0" psegname = "PSEG_GCD" ident = "1" >