1 files changed, 23 insertions, 0 deletions
diff --git a/bl31/head_data.c b/bl31/head_data.c
new file mode 100644
index 0000000..d14dd86
--- /dev/null
+++ b/bl31/head_data.c
@@ -0,0 +1,23 @@
+/*
+ *
+ * Header for semelis
+ *
+ */
+
+#include <head_data.h>
+#include <platform_def.h>
+
+extern char bl31_hash_value[64];
+
+struct spare_boot_ctrl_head  monitor_head __attribute__ ((section(".head_data"))) =
+{
+		(0x14000000 |(((sizeof(struct spare_boot_ctrl_head)+sizeof(bl31_hash_value)) / sizeof(int)) & 0x00FFFFFF)),
+		"monitor",
+		0,
+		0,
+		0,
+		0,
+		"2.0",
+		"monitor",
+		{BL31_BASE}
+};