--- src/kernel/sel4/libsel4/arch_include/arm/sel4/arch/types.h
+++ src/kernel/sel4/libsel4/arch_include/arm/sel4/arch/types.h
@@ -26,10 +26,12 @@
 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,
     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;
