Changeset 819 for soft/giet_vm/giet_config.h

Timestamp:

Apr 28, 2016, 1:12:26 PM (8 years ago)

Author:

cfuguet

Message:

Add a preprocessor flag which allows to inhibit the use of the
GLOBAL bit in page table entries.

File:

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

soft/giet_vm/giet_config.h

@@ -62 +62 @@
 #define GIET_SR_INIT_VALUE        0x2000FF13   /* SR initial value (before eret) */
 #define GIET_USE_HARD_FLOAT       0            /* hard float supported */
+#define GIET_USE_MMU_GLOBAL_FLAG  0            /* enable the use of the PTE_G flag */
 
 #endif