From 4b7ee7808b82a8961dd99cd510636953d0d68a46 Mon Sep 17 00:00:00 2001
From: Nathaniel Filardo <nwf20@cl.cam.ac.uk>
Date: Wed, 20 May 2020 20:21:11 +0000
Subject: [PATCH] AAL: new StrictProvenance feature flag

---
 src/aal/aal.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/aal/aal.h b/src/aal/aal.h
index 55b1477..e939f78 100644
--- a/src/aal/aal.h
+++ b/src/aal/aal.h
@@ -36,6 +36,12 @@ namespace snmalloc
      * This architecture cannot access cpu cycles counters.
      */
     NoCpuCycleCounters = (1 << 1),
+    /**
+     * This architecture enforces strict pointer provenance; we bound the
+     * pointers given out on malloc() and friends and must, therefore retain
+     * internal high-privilege pointers for recycling memory on free().
+     */
+    StrictProvenance = (1 << 2),
   };
 
   /**