2017-07-04 12:17:38 +00:00
|
|
|
--- src/kernel/sel4/libsel4/arch_include/arm/sel4/arch/types.h
|
|
|
|
|
+++ src/kernel/sel4/libsel4/arch_include/arm/sel4/arch/types.h
|
2017-10-17 09:51:13 +00:00
|
|
|
@@ -26,10 +26,12 @@
|
2017-07-04 12:17:38 +00:00
|
|
|
typedef seL4_CPtr seL4_ARM_IOPageTable;
|
|
|
|
|
|
|
|
|
|
typedef enum {
|
|
|
|
|
+ seL4_ARM_Uncacheable = 0x00,
|
|
|
|
|
seL4_ARM_PageCacheable = 0x01,
|
|
|
|
|
seL4_ARM_ParityEnabled = 0x02,
|
|
|
|
|
seL4_ARM_Default_VMAttributes = 0x03,
|
2017-10-17 09:51:13 +00:00
|
|
|
seL4_ARM_ExecuteNever = 0x04,
|
|
|
|
|
+ seL4_ARM_Default_VMAttributes_NoExecute = 0x07,
|
|
|
|
|
/* seL4_ARM_PageCacheable | seL4_ARM_ParityEnabled */
|
|
|
|
|
SEL4_FORCE_LONG_ENUM(seL4_ARM_VMAttributes),
|
|
|
|
|
} seL4_ARM_VMAttributes;
|
