Rexpand licenses

Kconfig

@@ -1,5 +1,15 @@
+#
+# Copyright 2017, Data61
+# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+# ABN 41 687 119 230.
+#
+# 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)
 #
+#
 
 mainmenu "CAmkES project configuration"
 

README

@@ -1,5 +1,14 @@
-<!--@TAG(DATA61_BSD)-->
-#
+<!--
+     Copyright 2017, Data61
+     Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+     ABN 41 687 119 230.
+
+     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)
+-->
 
 This repository contains various CAmkES applications, default configurations
 and testing scripts.

apps/adder/Kbuild

@@ -1,5 +1,15 @@
+#
+# Copyright 2017, Data61
+# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+# ABN 41 687 119 230.
+#
+# 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)
 #
+#
 
 apps-$(CONFIG_APP_ADDER) += adder
 adder: libsel4 libmuslc libsel4platsupport libsel4muslccamkes libsel4camkes libsel4sync libsel4bench

apps/adder/Kconfig

@@ -1,5 +1,15 @@
+#
+# Copyright 2017, Data61
+# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+# ABN 41 687 119 230.
+#
+# 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)
 #
+#
 
 config APP_ADDER
     bool "Adder CAmkES application"

apps/adder/Makefile

@@ -1,5 +1,15 @@
+#
+# Copyright 2017, Data61
+# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+# ABN 41 687 119 230.
+#
+# 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)
 #
+#
 
 TARGETS := $(notdir ${SOURCE_DIR}).cdl
 ADL := adder.camkes

apps/adder/README

@@ -1,4 +1,14 @@
-<!--@TAG(DATA61_BSD)-->
+<!--
+     Copyright 2017, Data61
+     Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+     ABN 41 687 119 230.
+
+     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)
+-->
 #
 
 This application demonstrates the use of dataport wrapper to pass pointers via CAmkES RPC

apps/adder/adder.camkes

@@ -1,4 +1,14 @@
-/* @TAG(DATA61_BSD) */
+/*
+ * Copyright 2017, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * 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)
+ */
 
 import <std_connector.camkes>;
 

apps/adder/components/Adder/Adder.camkes

@@ -1,4 +1,14 @@
-/* @TAG(DATA61_BSD) */
+/*
+ * Copyright 2017, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * 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)
+ */
 
 import "../../interfaces/Addition.idl4";
 

apps/adder/components/Adder/include/payload.h

@@ -1,4 +1,14 @@
-/* @TAG(DATA61_BSD) */
+/*
+ * Copyright 2017, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * 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)
+ */
 
 #ifndef _PAYLOAD_
 #define _PAYLOAD_

apps/adder/components/Adder/src/adder.c

@@ -1,4 +1,14 @@
-/* @TAG(DATA61_BSD) */
+/*
+ * Copyright 2017, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * 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)
+ */
 
 #include <camkes.h>
 #include <stdio.h>

apps/adder/components/Client/Client.camkes

@@ -1,4 +1,14 @@
-/* @TAG(DATA61_BSD) */
+/*
+ * Copyright 2017, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * 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)
+ */
 
 import "../../interfaces/Addition.idl4";
 

apps/adder/components/Client/include/payload.h

@@ -1,4 +1,14 @@
-/* @TAG(DATA61_BSD) */
+/*
+ * Copyright 2017, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * 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)
+ */
 
 #ifndef _PAYLOAD_
 #define _PAYLOAD_

apps/adder/components/Client/src/client.c

@@ -1,4 +1,14 @@
-/* @TAG(DATA61_BSD) */
+/*
+ * Copyright 2017, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * 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)
+ */
 
 #include <camkes.h>
 #include <stdio.h>

apps/adder/interfaces/Addition.idl4

@@ -1,4 +1,14 @@
-/* @TAG(DATA61_BSD) */
+/*
+ * Copyright 2017, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * 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)
+ */
 
 procedure Addition {
     dataport_ptr_t calculate(in dataport_ptr_t ptr);

apps/aeroplage/Kbuild

@@ -1,5 +1,15 @@
+#
+# Copyright 2017, Data61
+# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+# ABN 41 687 119 230.
+#
+# 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)
 #
+#
 
 apps-$(CONFIG_APP_AEROPLAGE) += aeroplage
 aeroplage: libsel4 libmuslc libsel4muslccamkes libsel4camkes libsel4sync libsel4bench libringbuffer libsel4bga libsel4keyboard

apps/aeroplage/Kconfig

@@ -1,5 +1,15 @@
+#
+# Copyright 2017, Data61
+# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+# ABN 41 687 119 230.
+#
+# 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)
 #
+#
 
 config APP_AEROPLAGE
     bool "Multi-level secure terminal prototype (mark 1)"

apps/aeroplage/Makefile

@@ -1,5 +1,15 @@
+#
+# Copyright 2017, Data61
+# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+# ABN 41 687 119 230.
+#
+# 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)
 #
+#
 
 TARGETS := $(notdir ${SOURCE_DIR}).cdl
 ADL := aeroplage.camkes

apps/aeroplage/README.md

@@ -1,4 +1,14 @@
-<!--@TAG(DATA61_BSD)-->
+<!--
+     Copyright 2017, Data61
+     Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+     ABN 41 687 119 230.
+
+     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)
+-->
 # Aeroplage - a prototype of a multilevel terminal
 
 This application implements a prototype of a previous multilevel terminal for seL4. It currently

apps/aeroplage/aeroplage.camkes

@@ -1,4 +1,14 @@
-/* @TAG(DATA61_BSD) */
+/*
+ * Copyright 2017, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * 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)
+ */
 
 /* CAmkES ADL description of the system. Every system needs such a description
  * that covers the component types, their instantiations, connections between

apps/aeroplage/components/KeyboardDriver/driver.c

@@ -1,4 +1,14 @@
-/* @TAG(DATA61_BSD) */
+/*
+ * Copyright 2017, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * 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)
+ */
 
 /* CAmkES provides a generated header that prototypes all the relevant generated
  * symbols.

apps/aeroplage/components/MockLinux/mocklinux.c

@@ -1,4 +1,14 @@
-/* @TAG(DATA61_BSD) */
+/*
+ * Copyright 2017, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * 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)
+ */
 
 /* CAmkES provides a generated header that prototypes all the relevant
  * generated symbols.

apps/aeroplage/components/Switch/switch.c

@@ -1,4 +1,14 @@
-/* @TAG(DATA61_BSD) */
+/*
+ * Copyright 2017, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * 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)
+ */
 
 /* CAmkES provides a generated header that prototypes all the relevant
  * generated symbols.

apps/aeroplage/components/VESADriver/chars.c

@@ -1,4 +1,14 @@
-/* @TAG(DATA61_BSD) */
+/*
+ * Copyright 2017, Data61
+ * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+ * ABN 41 687 119 230.
+ *
+ * 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)
+ */
 
 #include <stdlib.h>
 #define a_width 14

apps/aeroplage/components/VESADriver/chars.sh

@@ -1,5 +1,15 @@
 #!/bin/bash
+#
+# Copyright 2017, Data61
+# Commonwealth Scientific and Industrial Research Organisation (CSIRO)
+# ABN 41 687 119 230.
+#
+# 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)
+#
 
 # Generate XBM representations of the characters from the font Nimbus Mono
 # Regular.