From 5b92b63e984147ed75cc793b927a82386e39f965 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@data61.csiro.au>
Date: Sun, 16 Apr 2017 16:48:39 +1000
Subject: [PATCH] arm-hyp: add missing license header

---
 .licenseignore                | 1 +
 spec/haskell/check-arm-hyp.py | 9 +++++++++
 2 files changed, 10 insertions(+)

diff --git a/.licenseignore b/.licenseignore
index 8206449e0..877fe8160 100644
--- a/.licenseignore
+++ b/.licenseignore
@@ -65,6 +65,7 @@ spec/haskell/src/SEL4/Object/Interrupt.lhs-boot
 spec/haskell/src/SEL4/Object/CNode.lhs-boot
 spec/haskell/src/SEL4/Object/Endpoint.lhs-boot
 spec/haskell/src/SEL4/Object/ObjectType.lhs-boot
+spec/haskell/src/SEL4/Object/Structures.lhs-boot
 spec/haskell/src/SEL4/Object/TCB.lhs-boot
 spec/haskell/src/SEL4/Object/IOPort/X64.lhs-boot
 
diff --git a/spec/haskell/check-arm-hyp.py b/spec/haskell/check-arm-hyp.py
index eef607e12..4c20f64c4 100755
--- a/spec/haskell/check-arm-hyp.py
+++ b/spec/haskell/check-arm-hyp.py
@@ -1,4 +1,13 @@
 #!/usr/bin/env python3
+#
+# Copyright 2017, Data61, CSIRO
+#
+# This software may be distributed and modified according to the terms of
+# the BSD 2-Clause license. Note that NO WARRANTY is provided.
+# See "LICENSE_BSD2.txt" for details.
+#
+# @TAG(DATA61_BSD)
+#
 
 # Currently ARM_HYP.lhs files duplicate ARM.lhs functionality, but we are not
 # sure how accurately. This script preprocesses ARM_HYP.lhs files for the "ARM"