ARMv8: adding kernel stack limit to the coredata structure

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

diff --git a/include/target/aarch64/barrelfish_kpi/arm_core_data.h b/include/target/aarch64/barrelfish_kpi/arm_core_data.h
index c383935..d3d27ff 100644 (file)
--- a/include/target/aarch64/barrelfish_kpi/arm_core_data.h
+++ b/include/target/aarch64/barrelfish_kpi/arm_core_data.h
@@ -50,6 +50,11 @@ struct armv8_core_data {
     genpaddr_t cpu_driver_stack;
 
     /**
+     * Physical address of the kernel stack
+     */
+    genpaddr_t cpu_driver_stack_limit;
+
+    /**
      * Physical address of the global data structure shared by all
      */
     genpaddr_t cpu_driver_globals_pointer;
@@ -107,6 +112,13 @@ struct armv8_core_data {
 
 };
 
+#include <barrelfish_kpi/paging_arch.h>
+
+STATIC_ASSERT(sizeof(struct armv8_core_data) < BASE_PAGE_SIZE,
+        "Core Data structure must not exceed page size");
+
+
+
 #define ARMV8_CORE_DATA_PAGES 700