Index: /soft/giet_vm/giet_config.h
===================================================================
--- /soft/giet_vm/giet_config.h	(revision 634)
+++ /soft/giet_vm/giet_config.h	(revision 635)
@@ -58,5 +58,6 @@
 #define GIET_ISR_TYPE_MAX        32            /* max number of ISR types */
 #define GIET_ISR_CHANNEL_MAX     8             /* max number of ISR channels */
-#define GIET_SDC_PERIOD          2             /* number of systemcycles in SDC period*/
+#define GIET_SDC_PERIOD          2             /* number of system cycles in SDC period */
+#define GIET_SR_INIT_VALUE       0x2000FF13    /* SR initial value (before eret) */
 
 #endif