Changeset 635

Timestamp:

Jul 18, 2015, 3:28:28 PM (9 years ago)

Author:

alain

Message:

Introduce the GIET_SR_INIT_VALUE configuration variable.
(It was previously hard-coded in the boot code).

File:

• soft/giet_vm/giet_config.h (modified) (1 diff)

soft/giet_vm/giet_config.h

@@ -58 +58 @@
 #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