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

review Linux-derived dts file license

Browse source 
These files are derived from the output of the device tree compiler in
the Linux kernel. The licenses of the input files do all have to be
compatible with at least GPL-2.0-only to be part of Linux.
This commit is contained in:
Gerwin Klein 2020-03-09 17:54:12 +08:00
parent ef94b463bd
commit f16411a518
29 changed files with 261 additions and 29 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
tools/dts/allwinnerA20.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/am335x-boneblack.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/am335x-boneblue.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/apq8064.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/exynos4.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/exynos5250.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/exynos5410.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/exynos5422.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/fvp.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/hikey.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/imx7sabre.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/imx8mm-evk.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/imx8mq-evk.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/kzm.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/odroidc2.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/omap3.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/rockpro64.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/rpi3.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/sabre.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/spike.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/spike32.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/tk1.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/tx1.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/tx2.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/ultra96.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/update-dts.sh
View file

@ -24,7 +24,15 @@ make ARCH=arm -j4 dtbs
make ARCH=arm64 defconfig
make ARCH=arm64 -j4 dtbs
LICENSE="/* SPDX-License-Identifier: GPL-2.0-or-later */
LICENSE="/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
"
ARM_DTBS="

10
tools/dts/wandq.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/zynq7000.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;

10
tools/dts/zynqmp.dts
View file

@ -1,4 +1,12 @@
/* SPDX-License-Identifier: GPL-2.0-or-later */
/*
* Copyright Linux Kernel Team
*
* SPDX-License-Identifier: GPL-2.0-only
*
* This file is derived from an intermediate build stage of the
* Linux kernel. The licenses of all input files to this process
* are compatible with GPL-2.0-only.
*/
/dts-v1/;