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

remove deprecated header files

Browse source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2022-03-23 20:44:18 +01:00 committed by Kent McLeod
parent 9c083b84ef
commit 481ce9d5ed
12 changed files with 0 additions and 90 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1,7 +0,0 @@
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <sel4/deprecated.h>

10
libsel4/arch_include/riscv/sel4/arch/pfIPC.h
View file

@ -1,10 +0,0 @@
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#pragma once
#include <sel4/deprecated.h>

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

@ -1,7 +0,0 @@
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <sel4/deprecated.h>

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

@ -1,7 +0,0 @@
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <sel4/deprecated.h>

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

@ -1,7 +0,0 @@
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <sel4/deprecated.h>

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

@ -1,7 +0,0 @@
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <sel4/deprecated.h>

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

@ -1,7 +0,0 @@
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <sel4/deprecated.h>

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

@ -1,7 +0,0 @@
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <sel4/deprecated.h>

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

@ -1,9 +0,0 @@
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#pragma once
#include <sel4/deprecated.h>

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

@ -1,7 +0,0 @@
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <sel4/deprecated.h>

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

@ -1,7 +0,0 @@
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <sel4/deprecated.h>

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

@ -1,8 +0,0 @@
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include <sel4/deprecated.h>