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