Changeset 180 for soft/giet_vm/giet_config.h

Timestamp:

Jul 25, 2012, 10:31:13 AM (12 years ago)

Author:

karaoui

Message:

removing the parametre variable PTE2_MAX from giet_config.
Now we compute dynamically the second table size from the length of the vobj.

File:

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

soft/giet_vm/giet_config.h

@@ -34 +34 @@
 #define GIET_NB_TASKS_MAX       4           /* max number of tasks per processor */
 #define GIET_NB_VSPACE_MAX      4           /* max number of virtual spaces */
-#define GIET_NB_PT2_MAX         16          /* max number of level 2 page tables per vspace */
 #define GIET_TICK_VALUE     16384   /* context switch period (number of cycles) */
 #define GIET_IOMMU_ACTIVE   0           /* The IOMMU vspace is defined */