commit a8520fcedea33b7d2ae0e50172014c754ababc4c
author Matthew Fernandez <matthew.fernandez@nicta.com.au> Mon May 16 14:12:02 2016 +1000
committer Matthew Fernandez <matthew.fernandez@nicta.com.au> Mon May 16 14:12:02 2016 +1000
tree b19c9b9654fb0199bd7f2725786e4903e8bf9067
parent 8d7d09abf8b5e4609e0027c52dcbff3dc68ac533

Fix missing license header.

libsel4vspace/src/vspace.c

diff --git a/libsel4vspace/src/vspace.c b/libsel4vspace/src/vspace.c
index ee15e5a..fd5ae50 100644
--- a/libsel4vspace/src/vspace.c
+++ b/libsel4vspace/src/vspace.c
@@ -1,3 +1,12 @@
+/*
+ * Copyright 2016, NICTA
+ *
+ * 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(NICTA_BSD)
+ */
 
 #include <autoconf.h>
 #include <vspace/vspace.h>