portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

libsel4: fix licenses

Browse source 
- some were incorrectly marked GPL (libsel4 is BSD)
- update NICTA --> DATA61 etc
- fix tags D61 --> DATA61
- update year to 2017
This commit is contained in:
Anna Lyons 2017-06-19 11:11:34 +10:00
parent 6f52cd3db2
commit 07f948331f
134 changed files with 461 additions and 305 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
libsel4/Kbuild
View file

@ -1,11 +1,13 @@
#
# Copyright 2014, NICTA
# 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(NICTA_BSD)
# @TAG(DATA61_BSD)
#
libs-$(CONFIG_LIB_SEL4) += libsel4

6
libsel4/Kconfig
View file

@ -1,11 +1,13 @@
#
# Copyright 2014, NICTA
# 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(NICTA_BSD)
# @TAG(DATA61_BSD)
#
menu "libsel4"

6
libsel4/Makefile
View file

@ -1,11 +1,13 @@
#
# Copyright 2014, NICTA
# 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(NICTA_BSD)
# @TAG(DATA61_BSD)
#
# Tools

12
libsel4/arch_include/arm/interfaces/sel4arch.xml
View file

@ -1,12 +1,14 @@
<?xml version="1.0" ?>
<!--
Copyright 2014, NICTA
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.
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)
@TAG(DATA61_BSD)
-->
<api name="ObjectApiArm" label_prefix="arm_">
<interface name="seL4_ARM_PageTable" manual_name="Page Table">

6
libsel4/arch_include/arm/sel4/arch/constants.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_CONSTANTS_H

6
libsel4/arch_include/arm/sel4/arch/deprecated.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_SEL4_DEPRECATED_H

6
libsel4/arch_include/arm/sel4/arch/functions.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_FUNCTIONS_H

6
libsel4/arch_include/arm/sel4/arch/mapping.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_MAPPING

6
libsel4/arch_include/arm/sel4/arch/objecttype.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __ARCH_OBJECTTYPE_H

6
libsel4/arch_include/arm/sel4/arch/pfIPC.h
View file

@ -1,10 +1,12 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#include <sel4/deprecated.h>

5
libsel4/arch_include/arm/sel4/arch/shared_types.bf
View file

@ -1,12 +1,13 @@
--
-- Copyright 2016, Data61
-- 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(D61BSD)
-- @TAG(DATA61_BSD)
--
-- this file contains types shared between libsel4 and the kernel

6
libsel4/arch_include/arm/sel4/arch/shared_types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_SHARED_TYPES_H

6
libsel4/arch_include/arm/sel4/arch/simple_types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_SIMPLE_TYPES_H_

6
libsel4/arch_include/arm/sel4/arch/syscalls.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_SYSCALLS_H

6
libsel4/arch_include/arm/sel4/arch/types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_TYPES_H

12
libsel4/arch_include/x86/interfaces/sel4arch.xml
View file

@ -1,12 +1,14 @@
<?xml version="1.0" ?>
<!--
Copyright 2014, NICTA
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.
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)
@TAG(DATA61_BSD)
-->
<api name="ObjectApiX86" label_prefix="x86_">
<struct name="seL4_VCPUContext">

2
libsel4/arch_include/x86/sel4/arch/bootinfo_types.h
View file

@ -7,7 +7,7 @@
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(D61_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_BOOTINFO_TYPES_H

6
libsel4/arch_include/x86/sel4/arch/constants.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_CONSTANTS_H

6
libsel4/arch_include/x86/sel4/arch/deprecated.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_DEPRECATED_H

6
libsel4/arch_include/x86/sel4/arch/exIPC.h
View file

@ -1,10 +1,12 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#include <sel4/deprecated.h>

6
libsel4/arch_include/x86/sel4/arch/functions.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_FUNCTIONS_H

6
libsel4/arch_include/x86/sel4/arch/mapping.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_MAPPING

6
libsel4/arch_include/x86/sel4/arch/objecttype.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __ARCH_OBJECT_TYPE_H

6
libsel4/arch_include/x86/sel4/arch/pfIPC.h
View file

@ -1,10 +1,12 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#include <sel4/deprecated.h>

6
libsel4/arch_include/x86/sel4/arch/shared_types.bf
View file

@ -1,13 +1,13 @@
--
-- Copyright 2016, Data61
-- Copyright 2017, Data61
-- Commonwealth Scientific and Industrial Research Organisation (CSIRO)
-- ABN 41 687 119 230
-- 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(D61BSD)
-- @TAG(DATA61_BSD)
--
-- this file contains sel4arch specific types shared between libsel4 and the kernel

6
libsel4/arch_include/x86/sel4/arch/simple_types.h
View file

@ -1,10 +1,12 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/

6
libsel4/arch_include/x86/sel4/arch/syscalls.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_SYSCALLS_H

6
libsel4/arch_include/x86/sel4/arch/types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_ARCH_TYPES_H

2
libsel4/arch_include/x86/sel4/arch/vmenter.h
View file

@ -1,5 +1,5 @@
/*
* Copyright 2016, Data61
* Copyright 2017, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*

12
libsel4/include/api/syscall.xml
View file

@ -1,12 +1,14 @@
<?xml version="1.0" ?>
<!--
Copyright 2014, NICTA
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.
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)
@TAG(DATA61_BSD)
-->
<!-- Please see syscalls.xsd to see the format of this file -->
<syscalls>

12
libsel4/include/api/syscall.xsd
View file

@ -1,12 +1,14 @@
<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema">
<!--
Copyright 2014, NICTA
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.
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)
@TAG(DATA61_BSD)
-->
<xsd:annotation>

12
libsel4/include/interfaces/sel4.xml
View file

@ -1,12 +1,14 @@
<?xml version="1.0" ?>
<!--
Copyright 2014, NICTA
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.
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)
@TAG(DATA61_BSD)
-->
<api name="ObjectApi">

6
libsel4/include/sel4/assert.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
/**

10
libsel4/include/sel4/benchmark_tracepoints_types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2016, General Dynamics C4 Systems
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(GD_GPL)
* @TAG(DATA61_BSD)
*/
#ifndef BENCHMARK_TRACE_POINTS_TYPES_H

10
libsel4/include/sel4/benchmark_track_types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2016, General Dynamics C4 Systems
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(GD_GPL)
* @TAG(DATA61_BSD)
*/
#ifndef BENCHMARK_TRACK_TYPES_H

10
libsel4/include/sel4/benchmark_utilisation_types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2016, General Dynamics C4 Systems
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(GD_GPL)
* @TAG(DATA61_BSD)
*/
#ifndef BENCHMARK_TRACK_UTIL_TYPES_H

6
libsel4/include/sel4/bootinfo.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_BOOTINFO_H

6
libsel4/include/sel4/bootinfo_types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_BOOTINFO_TYPES_H

6
libsel4/include/sel4/constants.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __API_CONSTANTS_H

6
libsel4/include/sel4/debug_assert.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
/**

6
libsel4/include/sel4/deprecated.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_DEPRECATED_H

6
libsel4/include/sel4/errors.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __ERRORS_H

2
libsel4/include/sel4/faults.h
View file

@ -1,5 +1,5 @@
/*
* Copyright 2016, Data61
* Copyright 2017, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*

6
libsel4/include/sel4/macros.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_MACROS_H

6
libsel4/include/sel4/messages.h
View file

@ -1,10 +1,12 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#include <sel4/deprecated.h>

6
libsel4/include/sel4/objecttype.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __API_OBJECTTYPE_H

6
libsel4/include/sel4/sel4.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_H

6
libsel4/include/sel4/shared_types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SHARED_TYPES_H

6
libsel4/include/sel4/shared_types_32.bf
View file

@ -1,11 +1,13 @@
--
-- Copyright 2014, NICTA
-- 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(NICTA_BSD)
-- @TAG(DATA61_BSD)
--
-- this file contains types shared between libsel4 and the kernel

4
libsel4/include/sel4/shared_types_64.bf
View file

@ -1,5 +1,5 @@
--
-- Copyright 2016, Data61
-- Copyright 2017, Data61
-- Commonwealth Scientific and Industrial Research Organisation (CSIRO)
-- ABN 41 687 119 230.
--
@ -7,7 +7,7 @@
-- the BSD 2-Clause license. Note that NO WARRANTY is provided.
-- See "LICENSE_BSD2.txt" for details.
--
-- @TAG(D61_BSD)
-- @TAG(DATA61_BSD)
--
-- this file contains types shared between libsel4 and the kernel

6
libsel4/include/sel4/simple_types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SIMPLE_TYPES_H

6
libsel4/include/sel4/syscalls.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2016, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SYSCALLS_H

6
libsel4/include/sel4/types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_TYPES_H

6
libsel4/include/sel4/types_32.bf
View file

@ -1,11 +1,13 @@
--
-- Copyright 2014, NICTA
-- 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(NICTA_BSD)
-- @TAG(DATA61_BSD)
--
base 32

4
libsel4/include/sel4/types_64.bf
View file

@ -1,5 +1,5 @@
--
-- Copyright 2016, Data61
-- Copyright 2017, Data61
-- Commonwealth Scientific and Industrial Research Organisation (CSIRO)
-- ABN 41 687 119 230.
--
@ -7,7 +7,7 @@
-- the BSD 2-Clause license. Note that NO WARRANTY is provided.
-- See "LICENSE_BSD2.txt" for details.
--
-- @TAG(D61_BSD)
-- @TAG(DATA61_BSD)
--
base 64

12
libsel4/sel4_arch_include/aarch32/interfaces/sel4arch.xml
View file

@ -1,12 +1,14 @@
<?xml version="1.0" ?>
<!--
Copyright 2014, NICTA
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.
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)
@TAG(DATA61_BSD)
-->
<api name="ObjectApiAarch32" label_prefix="aarch32_">
<struct name="seL4_UserContext">

6
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_CONSTANTS_H

6
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/deprecated.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_SEL4_DEPRECATED_H

6
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/exIPC.h
View file

@ -1,10 +1,12 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#include <sel4/deprecated.h>

2
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/faults.h
View file

@ -1,5 +1,5 @@
/*
* Copyright 2016, Data61
* Copyright 2017, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*

6
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/functions.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_FUNCTIONS_H

6
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/mapping.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_MAPPING

6
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/objecttype.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __SEL4_ARCH_OBJECT_TYPE_H

6
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/pfIPC.h
View file

@ -1,10 +1,12 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#include <sel4/deprecated.h>

6
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/simple_types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_SIMPLE_TYPES_H_

6
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_SYSCALLS_H

4
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/types.bf
View file

@ -1,5 +1,5 @@
--
-- Copyright 2016, Data61
-- Copyright 2017, Data61
-- Commonwealth Scientific and Industrial Research Organisation (CSIRO)
-- ABN 41 687 119 230.
--
@ -7,7 +7,7 @@
-- the BSD 2-Clause license. Note that NO WARRANTY is provided.
-- See "LICENSE_BSD2.txt" for details.
--
-- @TAG(D61BSD)
-- @TAG(DATA61_BSD)
--
#include <autoconf.h>

6
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_TYPES_H

14
libsel4/sel4_arch_include/aarch64/interfaces/sel4arch.xml
View file

@ -1,14 +1,14 @@
<?xml version="1.0" ?>
<!--
Copyright 2016, Data61
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
ABN 41 687 119 230.
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.
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(D61_BSD)
@TAG(DATA61_BSD)
-->
<api name="ObjectApiAarch64" label_prefix="aarch64_">
<struct name="seL4_UserContext">

8
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/constants.h
View file

@ -1,13 +1,13 @@
/*
* Copyright 2016, Data61
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_GPL)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_CONSTANTS_H

8
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/deprecated.h
View file

@ -1,13 +1,13 @@
/*
* Copyright 2016, Data61
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_GPL)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_SEL4_DEPRECATED_H

8
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/exIPC.h
View file

@ -1,13 +1,13 @@
/*
* Copyright 2016, Data61
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_GPL)
* @TAG(DATA61_BSD)
*/
#include <sel4/deprecated.h>

8
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/faults.h
View file

@ -1,13 +1,13 @@
/*
* Copyright 2016, Data61
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_GPL)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_FAULTS_H

8
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/functions.h
View file

@ -1,13 +1,13 @@
/*
* Copyright 2016, Data61
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_GPL)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_SEL4_ARCH_FUNCTIONS_H_

8
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/mapping.h
View file

@ -1,13 +1,13 @@
/*
* Copyright 2016, Data61
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_GPL)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_SEL4_ARCH_MAPPING_H_

8
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/objecttype.h
View file

@ -1,13 +1,13 @@
/*
* Copyright 2016, Data61
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_GPL)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_SEL4_ARCH_OBJECTTYPE_H_

8
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/pfIPC.h
View file

@ -1,13 +1,13 @@
/*
* Copyright 2016, Data61
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_GPL)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_SEL4_ARCH_PFIPC_H_

8
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/simple_types.h
View file

@ -1,13 +1,13 @@
/*
* Copyright 2016, Data61
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_GPL)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_SIMPLE_TYPES_H_

8
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/syscalls.h
View file

@ -1,13 +1,13 @@
/*
* Copyright 2016, Data61
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_GPL)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_SEL4_ARCH_SYSCALLS_H_

20
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/types.bf
View file

@ -1,13 +1,13 @@
--
-- Copyright 2016, 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(D61BSD)
--
-- 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 <autoconf.h>

8
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/types.h
View file

@ -1,13 +1,13 @@
/*
* Copyright 2016, Data61
* 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 GNU General Public License version 2. Note that NO WARRANTY is provided.
* See "LICENSE_GPLv2.txt" for details.
* the BSD 2-Clause license. Note that NO WARRANTY is provided.
* See "LICENSE_BSD2.txt" for details.
*
* @TAG(DATA61_GPL)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_SEL4_ARCH_TYPES_H_

12
libsel4/sel4_arch_include/ia32/interfaces/sel4arch.xml
View file

@ -1,12 +1,14 @@
<?xml version="1.0" ?>
<!--
Copyright 2014, NICTA
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.
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)
@TAG(DATA61_BSD)
-->
<api name="ObjectApiIa32">
<struct name="seL4_UserContext">

6
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/constants.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_CONSTANTS_H

6
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/deprecated.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_SEL4_DEPRECATED_H

6
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/exIPC.h
View file

@ -1,10 +1,12 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#include <sel4/deprecated.h>

2
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/faults.h
View file

@ -1,5 +1,5 @@
/*
* Copyright 2016, Data61
* Copyright 2017, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*

6
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/functions.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_FUNCTIONS_H

6
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/mapping.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_MAPPING

6
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/objecttype.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __SEL4_ARCH_OBJECT_TYPE_H

6
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/pfIPC.h
View file

@ -1,10 +1,12 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#include <sel4/deprecated.h>

6
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/simple_types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_SIMPLE_TYPES_H_

6
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/syscalls.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_SYSCALLS_H

4
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/types.bf
View file

@ -1,5 +1,5 @@
--
-- Copyright 2016, Data61
-- Copyright 2017, Data61
-- Commonwealth Scientific and Industrial Research Organisation (CSIRO)
-- ABN 41 687 119 230.
--
@ -7,7 +7,7 @@
-- the BSD 2-Clause license. Note that NO WARRANTY is provided.
-- See "LICENSE_BSD2.txt" for details.
--
-- @TAG(D61BSD)
-- @TAG(DATA61_BSD)
--
#include <autoconf.h>

6
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/types.h
View file

@ -1,11 +1,13 @@
/*
* Copyright 2014, NICTA
* 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(NICTA_BSD)
* @TAG(DATA61_BSD)
*/
#ifndef __LIBSEL4_SEL4_ARCH_TYPES_H

14
libsel4/sel4_arch_include/x86_64/interfaces/sel4arch.xml
View file

@ -1,14 +1,14 @@
<?xml version="1.0" ?>
<!--
Copyright 2016, Data61
Commonwealth Scientific and Industrial Research Organisation (CSIRO)
ABN 41 687 119 230.
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.
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(D61_BSD)
@TAG(DATA61_BSD)
-->
<api name="ObjectApiX64" label_prefix="x86_64_">
<struct name="seL4_UserContext">

2
libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/constants.h
View file

@ -1,5 +1,5 @@
/*
* Copyright 2016, Data61
* Copyright 2017, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*

2
libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/deprecated.h
View file

@ -1,5 +1,5 @@
/*
* Copyright 2016, Data61
* Copyright 2017, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*

2
libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/exIPC.h
View file

@ -1,5 +1,5 @@
/*
* Copyright 2016, Data61
* Copyright 2017, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*

2
libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/faults.h
View file

@ -1,5 +1,5 @@
/*
* Copyright 2016, Data61
* Copyright 2017, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*

2
libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/functions.h
View file

@ -1,5 +1,5 @@
/*
* Copyright 2016, Data61
* Copyright 2017, Data61
* Commonwealth Scientific and Industrial Research Organisation (CSIRO)
* ABN 41 687 119 230.
*

Some files were not shown because too many files have changed in this diff Show more