dde_linux: review license headers

* add "or later" to GPLv2 license header where possible in order to make it compatible with GPLv3 based licenses * add license header to non-trivial files where missing fixes #5486
2025-04-18 16:18:31 +00:00 · 2025-03-20 21:11:27 +01:00 · 2025-03-20 21:11:27 +01:00 · 843f5c32af
commit 843f5c32af
parent 97ea0d15ec
248 changed files with 507 additions and 235 deletions
--- a/repos/dde_linux/include/wifi/ctrl.h
+++ b/repos/dde_linux/include/wifi/ctrl.h
@ -8,7 +8,7 @@
 * Copyright (C) 2018 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _WIFI__CTRL_H_
--- a/repos/dde_linux/include/wifi/firmware.h
+++ b/repos/dde_linux/include/wifi/firmware.h
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _WIFI__FIRMWARE_H_
--- a/repos/dde_linux/include/wifi/rfkill.h
+++ b/repos/dde_linux/include/wifi/rfkill.h
@ -8,7 +8,7 @@
 * Copyright (C) 2018 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _WIFI__RFKILL_H_
--- a/repos/dde_linux/include/wifi/socket_call.h
+++ b/repos/dde_linux/include/wifi/socket_call.h
@ -8,7 +8,7 @@
 * Copyright (C) 2014-2017 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _WIFI__SOCKET_CALL_H_
--- a/repos/dde_linux/src/driver/usb_hid/dummies.c
+++ b/repos/dde_linux/src/driver/usb_hid/dummies.c
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <lx_emul.h>
--- a/repos/dde_linux/src/driver/usb_hid/led_state.h
+++ b/repos/dde_linux/src/driver/usb_hid/led_state.h
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _INPUT__LED_STATE_H_
--- a/repos/dde_linux/src/driver/usb_hid/lx_emul.c
+++ b/repos/dde_linux/src/driver/usb_hid/lx_emul.c
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <lx_emul.h>
--- a/repos/dde_linux/src/driver/usb_hid/lx_emul.h
+++ b/repos/dde_linux/src/driver/usb_hid/lx_emul.h
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <lx_emul/debug.h>
--- a/repos/dde_linux/src/driver/usb_hid/lx_user.c
+++ b/repos/dde_linux/src/driver/usb_hid/lx_user.c
@ -9,7 +9,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <linux/types.h>
--- a/repos/dde_linux/src/driver/usb_hid/main.cc
+++ b/repos/dde_linux/src/driver/usb_hid/main.cc
@ -9,7 +9,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <base/attached_rom_dataspace.h>
--- a/repos/dde_linux/src/driver/usb_hid/usb_hid.h
+++ b/repos/dde_linux/src/driver/usb_hid/usb_hid.h
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <genode_c_api/usb_client.h>
--- a/repos/dde_linux/src/driver/usb_net/dummies.c
+++ b/repos/dde_linux/src/driver/usb_net/dummies.c
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <lx_emul.h>
--- a/repos/dde_linux/src/driver/usb_net/lx_emul.c
+++ b/repos/dde_linux/src/driver/usb_net/lx_emul.c
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <lx_emul.h>
--- a/repos/dde_linux/src/driver/usb_net/lx_emul.h
+++ b/repos/dde_linux/src/driver/usb_net/lx_emul.h
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <lx_emul/debug.h>
--- a/repos/dde_linux/src/driver/usb_net/lx_user.c
+++ b/repos/dde_linux/src/driver/usb_net/lx_user.c
@ -9,7 +9,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <linux/kthread.h>
--- a/repos/dde_linux/src/driver/usb_net/main.cc
+++ b/repos/dde_linux/src/driver/usb_net/main.cc
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <base/attached_rom_dataspace.h>
--- a/repos/dde_linux/src/driver/usb_net/usb_net.h
+++ b/repos/dde_linux/src/driver/usb_net/usb_net.h
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <lx_emul/usb_client.h>
--- a/repos/dde_linux/src/driver/usb_net/wdm_terminal.cc
+++ b/repos/dde_linux/src/driver/usb_net/wdm_terminal.cc
@ -7,8 +7,8 @@
 /*
 * Copyright (C) 2023 Genode Labs GmbH
 *
- * This file is part of the Genode OS framework, which is distributed
- * under the terms of the GNU Affero General Public License version 3.
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
 */

 #include <base/attached_ram_dataspace.h>
--- a/repos/dde_linux/src/driver/wifi/access_firmware.cc
+++ b/repos/dde_linux/src/driver/wifi/access_firmware.cc
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 /* Genode includes */
--- a/repos/dde_linux/src/driver/wifi/access_firmware.h
+++ b/repos/dde_linux/src/driver/wifi/access_firmware.h
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _ACCESS_FIRMWARE_H_
--- a/repos/dde_linux/src/driver/wifi/main.cc
+++ b/repos/dde_linux/src/driver/wifi/main.cc
@ -8,7 +8,7 @@
 * Copyright (C) 2014-2017 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 /* Genode includes */
--- a/repos/dde_linux/src/driver/wifi/manager.h
+++ b/repos/dde_linux/src/driver/wifi/manager.h
@ -11,7 +11,7 @@
 * Copyright (C) 2018-2024 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _WIFI_MANAGER_H_
--- a/repos/dde_linux/src/driver/wifi/util.h
+++ b/repos/dde_linux/src/driver/wifi/util.h
@ -8,7 +8,7 @@
 * Copyright (C) 2018-2022 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _WIFI__UTIL_H_
--- a/repos/dde_linux/src/driver/wifi/wpa.cc
+++ b/repos/dde_linux/src/driver/wifi/wpa.cc
@ -9,7 +9,7 @@
 * Copyright (C) 2019 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 /* Genode includes */
--- a/repos/dde_linux/src/driver/wifi/wpa.h
+++ b/repos/dde_linux/src/driver/wifi/wpa.h
@ -8,7 +8,7 @@
 * Copyright (C) 2014-2017 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _WIFI__WPA_H_
--- a/repos/dde_linux/src/include/lx_emul/alloc.h
+++ b/repos/dde_linux/src/include/lx_emul/alloc.h
@ -9,7 +9,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__ALLOC_H_
--- a/repos/dde_linux/src/include/lx_emul/clock.h
+++ b/repos/dde_linux/src/include/lx_emul/clock.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__CLOCK_H_
--- a/repos/dde_linux/src/include/lx_emul/debug.h
+++ b/repos/dde_linux/src/include/lx_emul/debug.h
@ -9,7 +9,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__DEBUG_H_
--- a/repos/dde_linux/src/include/lx_emul/event.h
+++ b/repos/dde_linux/src/include/lx_emul/event.h
@ -8,7 +8,7 @@
 * Copyright (C) 2022 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__EVENT_H_
--- a/repos/dde_linux/src/include/lx_emul/init.h
+++ b/repos/dde_linux/src/include/lx_emul/init.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__INIT_H_
--- a/repos/dde_linux/src/include/lx_emul/input_leds.h
+++ b/repos/dde_linux/src/include/lx_emul/input_leds.h
@ -8,7 +8,7 @@
 * Copyright (C) 2024 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__INPUT_LEDS_H_
--- a/repos/dde_linux/src/include/lx_emul/io_mem.h
+++ b/repos/dde_linux/src/include/lx_emul/io_mem.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__IO_MEM_H_
--- a/repos/dde_linux/src/include/lx_emul/io_port.h
+++ b/repos/dde_linux/src/include/lx_emul/io_port.h
@ -8,7 +8,7 @@
 * Copyright (C) 2022 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__IO_PORT_H_
--- a/repos/dde_linux/src/include/lx_emul/irq.h
+++ b/repos/dde_linux/src/include/lx_emul/irq.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__IRQ_H_
--- a/repos/dde_linux/src/include/lx_emul/log.h
+++ b/repos/dde_linux/src/include/lx_emul/log.h
@ -9,7 +9,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__LOG_H_
--- a/repos/dde_linux/src/include/lx_emul/nic.h
+++ b/repos/dde_linux/src/include/lx_emul/nic.h
@ -8,7 +8,7 @@
 * Copyright (C) 2024 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__NIC_H_
--- a/repos/dde_linux/src/include/lx_emul/page_virt.h
+++ b/repos/dde_linux/src/include/lx_emul/page_virt.h
@ -9,7 +9,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__PAGE_VIRT_H_
--- a/repos/dde_linux/src/include/lx_emul/pci.h
+++ b/repos/dde_linux/src/include/lx_emul/pci.h
@ -8,7 +8,7 @@
 * Copyright (C) 2022 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__PCI_H_
--- a/repos/dde_linux/src/include/lx_emul/pin.h
+++ b/repos/dde_linux/src/include/lx_emul/pin.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__PIN_H_
--- a/repos/dde_linux/src/include/lx_emul/random.h
+++ b/repos/dde_linux/src/include/lx_emul/random.h
@ -21,7 +21,7 @@
 * Copyright (C) 2022 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__RANDOM_H_
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/delay.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/delay.h
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_DELAY_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/domain.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/domain.h
@ -8,7 +8,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 /*
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/irqflags.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/irqflags.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_IRQFLAGS_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/page.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/page.h
@ -8,7 +8,7 @@
 * Copyright (C) 2022 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASMARM_PAGE_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/pgtable.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/pgtable.h
@ -8,7 +8,7 @@
 * Copyright (C) 2022 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_PGTABLE_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/spinlock.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/spinlock.h
@ -10,7 +10,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_SPINLOCK_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/uaccess.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/uaccess.h
@ -4,6 +4,13 @@
 * \date   2022-01-14
 */

+/*
+ * Copyright (C) 2022 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #ifndef _ASM__UACCESS_H_
 #define _ASM__UACCESS_H_

--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/vdso/processor.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm/include/asm/vdso/processor.h
@ -4,6 +4,13 @@
 * \date   2023-03-02
 */

+/*
+ * Copyright (C) 2023 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #ifndef _LX_EMUL__SHADOW__ARCH__ARM__INCLUDE__ASM__VDSO__PROCESSOR_H_
 #define _LX_EMUL__SHADOW__ARCH__ARM__INCLUDE__ASM__VDSO__PROCESSOR_H_

--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm64/include/asm/irqflags.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm64/include/asm/irqflags.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_IRQFLAGS_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm64/include/asm/memory.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm64/include/asm/memory.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_MEMORY_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm64/include/asm/page.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm64/include/asm/page.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_GENERIC_PAGE_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm64/include/asm/pgtable.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm64/include/asm/pgtable.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_PGTABLE_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm64/include/asm/spinlock.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm64/include/asm/spinlock.h
@ -10,7 +10,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_SPINLOCK_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/arm64/include/asm/vdso/processor.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/arm64/include/asm/vdso/processor.h
@ -4,6 +4,13 @@
 * \date   2023-03-02
 */

+/*
+ * Copyright (C) 2023 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #ifndef _LX_EMUL__SHADOW__ARCH__ARM64__INCLUDE__ASM__VDSO__PROCESSOR_H_
 #define _LX_EMUL__SHADOW__ARCH__ARM64__INCLUDE__ASM__VDSO__PROCESSOR_H_

--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/atomic64_32.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/atomic64_32.h
@ -7,6 +7,13 @@
 * actually implemented.
 */

+/*
+ * Copyright (C) 2022 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2.
+ */
+
 #ifndef _ASM__ATOMIC64_32_H_
 #define _ASM__ATOMIC64_32_H_

--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/bug.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/bug.h
@ -2,11 +2,16 @@
 * \brief  Shadow asm/bug.h for x86
 * \author Sebastian Sumpf
 * \date   2024-06-27
+ *
+ * This file shadows arch/x86/include/asm/bug.h to avoid HAVE_ARCH_BUG which
+ * inserts undefined instructions (ud2) and use our own BUG() implementation.
 */

 /*
- * This file shadows arch/x86/include/asm/bug.h to avoid HAVE_ARCH_BUG which
- * inserts undefined instructions (ud2) and use our own BUG() implementation.
+ * Copyright (C) 2024 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__SHADOW__ARCH__X86__INCLUDE__ASM__BUG_H_
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/cpufeature.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/cpufeature.h
@ -4,6 +4,13 @@
 * \date   2022-01-14
 */

+/*
+ * Copyright (C) 2022 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2.
+ */
+
 #ifndef _ASM__CPUFEATURE_H_
 #define _ASM__CPUFEATURE_H_

--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/current.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/current.h
@ -4,6 +4,13 @@
 * \date   2024-06-26
 */

+/*
+ * Copyright (C) 2024 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2.
+ */
+
 #ifndef _LX_EMUL__SHADOW__ARCH__X86__INCLUDE__ASM__CURRENT_H_
 #define _LX_EMUL__SHADOW__ARCH__X86__INCLUDE__ASM__CURRENT_H_

--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/io.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/io.h
@ -4,6 +4,13 @@
 * \date   2022-02-21
 */

+/*
+ * Copyright (C) 2022 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #ifndef _ASM_X86_IO_H
 #define _ASM_X86_IO_H

--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/irq_stack.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/irq_stack.h
@ -4,6 +4,11 @@
 * \date   2022-06-29
 */

+/*
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2.
+ */
+
 #ifndef _LX_EMUL__SHADOW__ARCH__X86__INCLUDE__ASM__IRQ_STACK_H_
 #define _LX_EMUL__SHADOW__ARCH__X86__INCLUDE__ASM__IRQ_STACK_H_

--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/irqflags.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/irqflags.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_IRQFLAGS_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/memory_model.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/memory_model.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_MEMORY_MODEL_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/page.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/page.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_GENERIC_PAGE_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/page_64.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/page_64.h
@ -8,7 +8,7 @@
 * Copyright (C) 2022 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_PAGE_64_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/percpu.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/percpu.h
@ -4,6 +4,14 @@
 * \date   2022-06-29
 */

+/*
+ * Copyright (C) 2022 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
+
 #ifndef _LX_EMUL__SHADOW__ARCH__X86__INCLUDE__ASM__PERCPU_H_
 #define _LX_EMUL__SHADOW__ARCH__X86__INCLUDE__ASM__PERCPU_H_

--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/pgtable.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/pgtable.h
@ -8,7 +8,7 @@
 * Copyright (C) 2022 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _ASM__X86__PGTABLE_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/spinlock.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/spinlock.h
@ -10,7 +10,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef __ASM_SPINLOCK_H
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/uaccess.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/uaccess.h
@ -4,6 +4,13 @@
 * \date   2022-01-14
 */

+/*
+ * Copyright (C) 2022 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #ifndef _ASM__UACCESS_H_
 #define _ASM__UACCESS_H_

--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/uaccess_32.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/uaccess_32.h
@ -4,6 +4,11 @@
 * \date   2022-02-17
 */

+/*
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2.
+ */
+
 #ifndef _ASM__UACCESS_32_H_
 #define _ASM__UACCESS_32_H_

--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/uaccess_64.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/uaccess_64.h
@ -4,6 +4,11 @@
 * \date   2022-02-17
 */

+/*
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2.
+ */
+
 #ifndef _ASM__UACCESS_64_H_
 #define _ASM__UACCESS_64_H_

@ -16,5 +21,4 @@ int __copy_from_user_inatomic_nocache(void *dst, const void __user *src,
                                      unsigned size);
 int __copy_from_user_flushcache(void *dst, const void __user *src, unsigned size);

-
 #endif /* _ASM__UACCESS_64_H_ */
--- a/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/vdso/processor.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/arch/x86/include/asm/vdso/processor.h
@ -4,6 +4,13 @@
 * \date   2023-03-02
 */

+/*
+ * Copyright (C) 2023 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #ifndef _LX_EMUL__SHADOW__ARCH__X86__INCLUDE__ASM__VDSO__PROCESSOR_H_
 #define _LX_EMUL__SHADOW__ARCH__X86__INCLUDE__ASM__VDSO__PROCESSOR_H_

--- a/repos/dde_linux/src/include/lx_emul/shadow/include/asm/bug.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/include/asm/bug.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__SHADOW__ASM__BUG_H_
--- a/repos/dde_linux/src/include/lx_emul/shadow/include/asm/current.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/include/asm/current.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__SHADOW__ASM__CURRENT_H_
--- a/repos/dde_linux/src/include/lx_emul/shadow/include/asm/percpu.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/include/asm/percpu.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__SHADOW__ASM__PERCPU_H_
--- a/repos/dde_linux/src/include/lx_emul/shadow/include/linux/compiler-gcc.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/include/linux/compiler-gcc.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__SHADOW__LINUX__COMPILER_GCC_H_
@ -16,7 +16,7 @@

 #include_next <linux/compiler-gcc.h>

-/**
+/*
 * We have to re-define `asm_volatile_goto`, because the original function
 * uses `asm goto(...)`, which is a problem when building PIC code.
 */
--- a/repos/dde_linux/src/include/lx_emul/shadow/include/linux/init.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/include/linux/init.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__SHADOW__LINUX__INIT_H_
--- a/repos/dde_linux/src/include/lx_emul/shadow/include/linux/of.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/include/linux/of.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__SHADOW__LINUX__OF_H_
--- a/repos/dde_linux/src/include/lx_emul/shadow/include/linux/pci.h
+++ b/repos/dde_linux/src/include/lx_emul/shadow/include/linux/pci.h
@ -4,6 +4,13 @@
 * \date   2022-01-14
 */

+/*
+ * Copyright (C) 2022 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #ifndef _LINUX__PCI_H_
 #define _LINUX__PCI_H_

--- a/repos/dde_linux/src/include/lx_emul/shared_dma_buffer.h
+++ b/repos/dde_linux/src/include/lx_emul/shared_dma_buffer.h
@ -8,7 +8,7 @@
 * Copyright (C) 2022 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__SHARED_DMA_BUFFER_H_
--- a/repos/dde_linux/src/include/lx_emul/shmem_file.h
+++ b/repos/dde_linux/src/include/lx_emul/shmem_file.h
@ -12,7 +12,7 @@
 * Copyright (C) 2023 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <lx_emul/shared_dma_buffer.h>
--- a/repos/dde_linux/src/include/lx_emul/task.h
+++ b/repos/dde_linux/src/include/lx_emul/task.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__TASK_H_
--- a/repos/dde_linux/src/include/lx_emul/time.h
+++ b/repos/dde_linux/src/include/lx_emul/time.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__TIME_H_
--- a/repos/dde_linux/src/include/lx_emul/usb.h
+++ b/repos/dde_linux/src/include/lx_emul/usb.h
@ -8,7 +8,7 @@
 * Copyright (C) 2022 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_EMUL__USB_H_
--- a/repos/dde_linux/src/include/lx_emul/usb_client.h
+++ b/repos/dde_linux/src/include/lx_emul/usb_client.h
@ -1,3 +1,16 @@
+/*
+ * \brief  USB-client handling
+ * \author Sebastian Sumpf
+ * \date   2023-09-29
+ */
+
+/*
+ * Copyright (C) 2023 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #include <genode_c_api/usb_client.h>

 #ifdef __cplusplus
--- a/repos/dde_linux/src/include/lx_kit/byte_range.h
+++ b/repos/dde_linux/src/include/lx_kit/byte_range.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_KIT__BYTE_RANGE_H_
--- a/repos/dde_linux/src/include/lx_kit/console.h
+++ b/repos/dde_linux/src/include/lx_kit/console.h
@ -12,7 +12,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_KIT__CONSOLE_H_
--- a/repos/dde_linux/src/include/lx_kit/device.h
+++ b/repos/dde_linux/src/include/lx_kit/device.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_KIT__DEVICE_H_
--- a/repos/dde_linux/src/include/lx_kit/dma_buffer.h
+++ b/repos/dde_linux/src/include/lx_kit/dma_buffer.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_KIT__DMA_BUFFER_H_
--- a/repos/dde_linux/src/include/lx_kit/env.h
+++ b/repos/dde_linux/src/include/lx_kit/env.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_KIT__ENV_H_
--- a/repos/dde_linux/src/include/lx_kit/init.h
+++ b/repos/dde_linux/src/include/lx_kit/init.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_KIT__INIT_H_
--- a/repos/dde_linux/src/include/lx_kit/initial_config.h
+++ b/repos/dde_linux/src/include/lx_kit/initial_config.h
@ -9,7 +9,7 @@
 * Copyright (C) 2022 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_KIT__INITIAL_CONFIG_H_
--- a/repos/dde_linux/src/include/lx_kit/map.h
+++ b/repos/dde_linux/src/include/lx_kit/map.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_KIT__MAP_H_
--- a/repos/dde_linux/src/include/lx_kit/memory.h
+++ b/repos/dde_linux/src/include/lx_kit/memory.h
@ -9,7 +9,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_KIT__MEMORY_H_
--- a/repos/dde_linux/src/include/lx_kit/scheduler.h
+++ b/repos/dde_linux/src/include/lx_kit/scheduler.h
@ -11,7 +11,7 @@
 * Copyright (C) 2014-2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #include <base/entrypoint.h>
--- a/repos/dde_linux/src/include/lx_kit/task.h
+++ b/repos/dde_linux/src/include/lx_kit/task.h
@ -11,7 +11,7 @@
 * Copyright (C) 2014-2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_KIT__TASK_H_
--- a/repos/dde_linux/src/include/lx_kit/timeout.h
+++ b/repos/dde_linux/src/include/lx_kit/timeout.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_KIT__TIMEOUT_H_
--- a/repos/dde_linux/src/include/lx_user/init.h
+++ b/repos/dde_linux/src/include/lx_user/init.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_USER__INIT_H_
--- a/repos/dde_linux/src/include/lx_user/io.h
+++ b/repos/dde_linux/src/include/lx_user/io.h
@ -8,7 +8,7 @@
 * Copyright (C) 2021 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _LX_USER__IO_H_
--- a/repos/dde_linux/src/include/spec/arm_v7/lx_kit/arch_execute.h
+++ b/repos/dde_linux/src/include/spec/arm_v7/lx_kit/arch_execute.h
@ -8,7 +8,7 @@
 * Copyright (C) 2012-2017 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _ARCH_EXECUTE_H_
--- a/repos/dde_linux/src/include/spec/arm_v8/lx_kit/arch_execute.h
+++ b/repos/dde_linux/src/include/spec/arm_v8/lx_kit/arch_execute.h
@ -8,7 +8,7 @@
 * Copyright (C) 2019 Genode Labs GmbH
 *
 * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
 */

 #ifndef _ARCH_EXECUTE_H_
--- a/Show More
+++ b/Show More