diff --git a/repos/dde_linux/include/wifi/ctrl.h b/repos/dde_linux/include/wifi/ctrl.h
index df95f66cb5..c7e14bb496 100644
--- 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_
diff --git a/repos/dde_linux/include/wifi/firmware.h b/repos/dde_linux/include/wifi/firmware.h
index aa2cc365f8..1eb8991868 100644
--- 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_
diff --git a/repos/dde_linux/include/wifi/rfkill.h b/repos/dde_linux/include/wifi/rfkill.h
index ceb1824046..884c9d0a8a 100644
--- 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_
diff --git a/repos/dde_linux/include/wifi/socket_call.h b/repos/dde_linux/include/wifi/socket_call.h
index f67b1782cc..f01409417d 100644
--- 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_
diff --git a/repos/dde_linux/src/driver/usb_hid/dummies.c b/repos/dde_linux/src/driver/usb_hid/dummies.c
index ee750ef656..9dc19e4697 100644
--- 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>
diff --git a/repos/dde_linux/src/driver/usb_hid/led_state.h b/repos/dde_linux/src/driver/usb_hid/led_state.h
index 99a988da51..8842d6b2e7 100644
--- 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_
diff --git a/repos/dde_linux/src/driver/usb_hid/lx_emul.c b/repos/dde_linux/src/driver/usb_hid/lx_emul.c
index 1b38c34d72..162f89c9dc 100644
--- 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>
diff --git a/repos/dde_linux/src/driver/usb_hid/lx_emul.h b/repos/dde_linux/src/driver/usb_hid/lx_emul.h
index 8dbf02c248..84af7060a0 100644
--- 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>
diff --git a/repos/dde_linux/src/driver/usb_hid/lx_user.c b/repos/dde_linux/src/driver/usb_hid/lx_user.c
index 3b880dc440..617a35b45d 100644
--- 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>
diff --git a/repos/dde_linux/src/driver/usb_hid/main.cc b/repos/dde_linux/src/driver/usb_hid/main.cc
index c6065ba104..462b340612 100644
--- 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>
diff --git a/repos/dde_linux/src/driver/usb_hid/usb_hid.h b/repos/dde_linux/src/driver/usb_hid/usb_hid.h
index 33f1085bf8..92f6bd503c 100644
--- 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>
diff --git a/repos/dde_linux/src/driver/usb_net/dummies.c b/repos/dde_linux/src/driver/usb_net/dummies.c
index f5534fa537..e703e6f890 100644
--- 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>
diff --git a/repos/dde_linux/src/driver/usb_net/lx_emul.c b/repos/dde_linux/src/driver/usb_net/lx_emul.c
index 6b0242ea46..aebe4cca29 100644
--- 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>
diff --git a/repos/dde_linux/src/driver/usb_net/lx_emul.h b/repos/dde_linux/src/driver/usb_net/lx_emul.h
index dbce00db49..397929a1ff 100644
--- 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>
diff --git a/repos/dde_linux/src/driver/usb_net/lx_user.c b/repos/dde_linux/src/driver/usb_net/lx_user.c
index e5d7a3698f..b92e9e7059 100644
--- 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>
diff --git a/repos/dde_linux/src/driver/usb_net/main.cc b/repos/dde_linux/src/driver/usb_net/main.cc
index 497afb9980..7834452e98 100644
--- 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>
diff --git a/repos/dde_linux/src/driver/usb_net/usb_net.h b/repos/dde_linux/src/driver/usb_net/usb_net.h
index 08f81fbcb0..dd2d9c2043 100644
--- 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>
diff --git a/repos/dde_linux/src/driver/usb_net/wdm_terminal.cc b/repos/dde_linux/src/driver/usb_net/wdm_terminal.cc
index a242e492ff..ea7fe05c82 100644
--- 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>
diff --git a/repos/dde_linux/src/driver/wifi/access_firmware.cc b/repos/dde_linux/src/driver/wifi/access_firmware.cc
index 3e9e2937aa..9894cf849e 100644
--- 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 */
diff --git a/repos/dde_linux/src/driver/wifi/access_firmware.h b/repos/dde_linux/src/driver/wifi/access_firmware.h
index 978a04ff0c..24c287631f 100644
--- 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_
diff --git a/repos/dde_linux/src/driver/wifi/main.cc b/repos/dde_linux/src/driver/wifi/main.cc
index 18c1386bbd..fdac726afd 100644
--- 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 */
diff --git a/repos/dde_linux/src/driver/wifi/manager.h b/repos/dde_linux/src/driver/wifi/manager.h
index 8ee850eb5e..42a2dd00a6 100644
--- 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_
diff --git a/repos/dde_linux/src/driver/wifi/util.h b/repos/dde_linux/src/driver/wifi/util.h
index 2285fd12fa..710eab594f 100644
--- 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_
diff --git a/repos/dde_linux/src/driver/wifi/wpa.cc b/repos/dde_linux/src/driver/wifi/wpa.cc
index 61c342281d..b04e2bb2b4 100644
--- 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 */
diff --git a/repos/dde_linux/src/driver/wifi/wpa.h b/repos/dde_linux/src/driver/wifi/wpa.h
index 3a124cc142..4c5132004a 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/alloc.h b/repos/dde_linux/src/include/lx_emul/alloc.h
index 93116925ae..5d1bd5406d 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/clock.h b/repos/dde_linux/src/include/lx_emul/clock.h
index 08af86e549..849f659340 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/debug.h b/repos/dde_linux/src/include/lx_emul/debug.h
index 5bf62f0250..7a1127f01c 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/event.h b/repos/dde_linux/src/include/lx_emul/event.h
index 2487a748ac..1c8b9c8a7c 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/init.h b/repos/dde_linux/src/include/lx_emul/init.h
index 84e38c4222..9717f6105e 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/input_leds.h b/repos/dde_linux/src/include/lx_emul/input_leds.h
index 7e8549c61f..2c9f9b8a35 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/io_mem.h b/repos/dde_linux/src/include/lx_emul/io_mem.h
index 4f3012d845..0e42550a07 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/io_port.h b/repos/dde_linux/src/include/lx_emul/io_port.h
index 76db1d5308..c2656b13b2 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/irq.h b/repos/dde_linux/src/include/lx_emul/irq.h
index 911d6ffdb7..b93877ed62 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/log.h b/repos/dde_linux/src/include/lx_emul/log.h
index 48217a6bd8..4e0acbbee2 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/nic.h b/repos/dde_linux/src/include/lx_emul/nic.h
index 307b2835ee..d4cd05e628 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/page_virt.h b/repos/dde_linux/src/include/lx_emul/page_virt.h
index 33d37fd0b3..d126361b62 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/pci.h b/repos/dde_linux/src/include/lx_emul/pci.h
index 64daed7280..9a8a0b94b5 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/pin.h b/repos/dde_linux/src/include/lx_emul/pin.h
index f5d554f66e..c3cb3f42a7 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/random.h b/repos/dde_linux/src/include/lx_emul/random.h
index c978e5ece9..5187abd843 100644
--- 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_
diff --git 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
index 1f993b308c..ca624b6417 100644
--- 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
diff --git 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
index 7edf9ffe9d..b61a7a2208 100644
--- 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.
  */
 
 /*
diff --git 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
index 84765be9a6..86f313c913 100644
--- 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
diff --git 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
index d7803c51ba..3fff121356 100644
--- 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
diff --git 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
index 7c6919763a..72c4f611e5 100644
--- 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
diff --git 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
index 73091f5ba0..e1c5a11b99 100644
--- 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
diff --git 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
index f9cc087240..117a1119b4 100644
--- 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_
 
diff --git 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
index 5d9cc073d4..f4fc377399 100644
--- 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_
 
diff --git 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
index 125063ef0f..4c1d761d17 100644
--- 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
diff --git 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
index 4ac9167bd4..84c180a060 100644
--- 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
diff --git 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
index 216c7b2b2b..5749ba6f06 100644
--- 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
diff --git 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
index 2373f9219a..6744dfcce7 100644
--- 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
diff --git 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
index 572b501b1a..df73da1094 100644
--- 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
diff --git 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
index bd1db03083..426fd561be 100644
--- 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_
 
diff --git 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
index 30a86d2336..4954b4a3f6 100644
--- 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_
 
diff --git 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
index 25a9c3758f..559656a75f 100644
--- 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_
diff --git 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
index cd73cfc6fe..7fa87d75e3 100644
--- 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_
 
diff --git 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
index ba9ef816c1..9879a47ff1 100644
--- 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_
 
diff --git 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
index d4eab15d79..0aa1d8fbbe 100644
--- 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
 
diff --git 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
index 4e729c95b8..8a0da71c0f 100644
--- 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_
 
diff --git 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
index 125063ef0f..4c1d761d17 100644
--- 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
diff --git 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
index 65712b0c85..7fd3edb7ea 100644
--- 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
diff --git 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
index 05463ce424..9704fcf5dd 100644
--- 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
diff --git 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
index 23c6b74e01..6112ac14ce 100644
--- 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
diff --git 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
index a053075138..5a45be3ece 100644
--- 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_
 
diff --git 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
index fc419f613f..61c6187c87 100644
--- 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
diff --git 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
index 95099051e8..9daea4891f 100644
--- 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
diff --git 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
index f9cc087240..117a1119b4 100644
--- 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_
 
diff --git 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
index 8bec49b5d1..4268fc0e75 100644
--- 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_
 
diff --git 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
index b4ec4c0820..6fc79638b5 100644
--- 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_ */
diff --git 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
index 16b3d2ccdd..ab4a363e49 100644
--- 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_
 
diff --git 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
index 16539f52f4..672d461ccc 100644
--- 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_
diff --git 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
index 79b2e3d017..b9c45de543 100644
--- 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_
diff --git 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
index 5278e6dfd2..68036837e2 100644
--- 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_
diff --git 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
index 486cf53d46..185922a6c0 100644
--- 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.
  */
diff --git 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
index 6cfa48491b..20fea219a0 100644
--- 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_
diff --git 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
index f9e8466dba..7b6c0839c1 100644
--- 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_
diff --git 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
index 4906a157cf..4206473481 100644
--- 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_
 
diff --git a/repos/dde_linux/src/include/lx_emul/shared_dma_buffer.h b/repos/dde_linux/src/include/lx_emul/shared_dma_buffer.h
index 37cb5d1b10..a5133b557f 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/shmem_file.h b/repos/dde_linux/src/include/lx_emul/shmem_file.h
index ec81ecb0e0..2203471f11 100644
--- 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>
diff --git a/repos/dde_linux/src/include/lx_emul/task.h b/repos/dde_linux/src/include/lx_emul/task.h
index 76708e0723..05a9d4e1c6 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/time.h b/repos/dde_linux/src/include/lx_emul/time.h
index 2b7b1f4f49..53b7888202 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/usb.h b/repos/dde_linux/src/include/lx_emul/usb.h
index 445e78a826..0a1883b71d 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_emul/usb_client.h b/repos/dde_linux/src/include/lx_emul/usb_client.h
index 0c11ef71ba..165b20b708 100644
--- 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
diff --git a/repos/dde_linux/src/include/lx_kit/byte_range.h b/repos/dde_linux/src/include/lx_kit/byte_range.h
index a4dcd2c54f..850ebb0695 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_kit/console.h b/repos/dde_linux/src/include/lx_kit/console.h
index a668c7c5f7..79cdcfb3e6 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_kit/device.h b/repos/dde_linux/src/include/lx_kit/device.h
index affb640dd4..7a93ce2178 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_kit/dma_buffer.h b/repos/dde_linux/src/include/lx_kit/dma_buffer.h
index 47ae09ab02..9f8592707b 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_kit/env.h b/repos/dde_linux/src/include/lx_kit/env.h
index 584122cf26..74056c5b4a 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_kit/init.h b/repos/dde_linux/src/include/lx_kit/init.h
index 976dde3b92..c04948f08a 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_kit/initial_config.h b/repos/dde_linux/src/include/lx_kit/initial_config.h
index 5048e87a93..ab197a40a8 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_kit/map.h b/repos/dde_linux/src/include/lx_kit/map.h
index a578f4824d..e77b236359 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_kit/memory.h b/repos/dde_linux/src/include/lx_kit/memory.h
index 26b56fcafe..651f25223f 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_kit/scheduler.h b/repos/dde_linux/src/include/lx_kit/scheduler.h
index c87bcfb2a3..851192d6e9 100644
--- 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>
diff --git a/repos/dde_linux/src/include/lx_kit/task.h b/repos/dde_linux/src/include/lx_kit/task.h
index d222665944..bb938d9b8f 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_kit/timeout.h b/repos/dde_linux/src/include/lx_kit/timeout.h
index 0b4f132b0e..fd1bd733f8 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_user/init.h b/repos/dde_linux/src/include/lx_user/init.h
index eac7cee351..74e9a74e22 100644
--- 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_
diff --git a/repos/dde_linux/src/include/lx_user/io.h b/repos/dde_linux/src/include/lx_user/io.h
index 8944f62f67..775d83db36 100644
--- 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_
diff --git 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
index d4e86e4af5..59a64a0cb4 100644
--- 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_
diff --git 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
index 9cd1c7fa00..18c5916052 100644
--- 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_
diff --git a/repos/dde_linux/src/include/spec/x86_32/lx_kit/arch_execute.h b/repos/dde_linux/src/include/spec/x86_32/lx_kit/arch_execute.h
index 176572a18a..6a2f8d429e 100644
--- a/repos/dde_linux/src/include/spec/x86_32/lx_kit/arch_execute.h
+++ b/repos/dde_linux/src/include/spec/x86_32/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_
diff --git a/repos/dde_linux/src/include/spec/x86_64/lx_kit/arch_execute.h b/repos/dde_linux/src/include/spec/x86_64/lx_kit/arch_execute.h
index 18f2116fb6..38d3f694ff 100644
--- a/repos/dde_linux/src/include/spec/x86_64/lx_kit/arch_execute.h
+++ b/repos/dde_linux/src/include/spec/x86_64/lx_kit/arch_execute.h
@@ -9,7 +9,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_
diff --git a/repos/dde_linux/src/include/virt_linux/lx_kit/device.h b/repos/dde_linux/src/include/virt_linux/lx_kit/device.h
index ac93a1957d..1d0f7b59a7 100644
--- a/repos/dde_linux/src/include/virt_linux/lx_kit/device.h
+++ b/repos/dde_linux/src/include/virt_linux/lx_kit/device.h
@@ -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.
  */
 
 #ifndef _LX_KIT__DEVICE_H_
diff --git a/repos/dde_linux/src/lib/libnl/if.cc b/repos/dde_linux/src/lib/libnl/if.cc
index e99254d4db..2d707c8c64 100644
--- a/repos/dde_linux/src/lib/libnl/if.cc
+++ b/repos/dde_linux/src/lib/libnl/if.cc
@@ -1,3 +1,16 @@
+/*
+ * \brief  Interface query functions
+ * \author Josef Soentgen
+ * \date   2014-11-22
+ */
+
+/*
+ * Copyright (C) 2023 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #include <sys/socket.h>
 #include <net/if.h>
 
diff --git a/repos/dde_linux/src/lib/libnl/include/defs.h b/repos/dde_linux/src/lib/libnl/include/defs.h
index bdf44ed351..d5b24162e8 100644
--- a/repos/dde_linux/src/lib/libnl/include/defs.h
+++ b/repos/dde_linux/src/lib/libnl/include/defs.h
@@ -10,7 +10,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 _DEFS_H_
diff --git a/repos/dde_linux/src/lib/libnl/include/libnl_emul.h b/repos/dde_linux/src/lib/libnl/include/libnl_emul.h
index 47113528a9..eb132e9844 100644
--- a/repos/dde_linux/src/lib/libnl/include/libnl_emul.h
+++ b/repos/dde_linux/src/lib/libnl/include/libnl_emul.h
@@ -12,7 +12,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 _LIBNL_EMUL_H_
diff --git a/repos/dde_linux/src/lib/libnl/include/linux/types.h b/repos/dde_linux/src/lib/libnl/include/linux/types.h
index 205a9cea66..96093d6f5b 100644
--- a/repos/dde_linux/src/lib/libnl/include/linux/types.h
+++ b/repos/dde_linux/src/lib/libnl/include/linux/types.h
@@ -1,3 +1,16 @@
+/*
+ * \brief  POD-type definitions
+ * \author Josef Soentgen
+ * \date   2014-11-22
+ */
+
+/*
+ * Copyright (C) 2025 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #ifndef _LINUX_TYPES_H
 #define _LINUX_TYPES_H
 
diff --git a/repos/dde_linux/src/lib/libnl/lxcc_emul.cc b/repos/dde_linux/src/lib/libnl/lxcc_emul.cc
index 68af3db978..6a64c07946 100644
--- a/repos/dde_linux/src/lib/libnl/lxcc_emul.cc
+++ b/repos/dde_linux/src/lib/libnl/lxcc_emul.cc
@@ -1,4 +1,4 @@
-/**
+/*
  * \brief  Linux emulation code
  * \author Josef Soentgen
  * \date   2014-07-28
@@ -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 */
diff --git a/repos/dde_linux/src/lib/libnl/socket.cc b/repos/dde_linux/src/lib/libnl/socket.cc
index 2e8ff8f664..3d551adbd7 100644
--- a/repos/dde_linux/src/lib/libnl/socket.cc
+++ b/repos/dde_linux/src/lib/libnl/socket.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 */
diff --git a/repos/dde_linux/src/lib/lx_emul/alloc.cc b/repos/dde_linux/src/lib/lx_emul/alloc.cc
index e5f736a92b..93e7bb474f 100644
--- a/repos/dde_linux/src/lib/lx_emul/alloc.cc
+++ b/repos/dde_linux/src/lib/lx_emul/alloc.cc
@@ -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.
  */
 
 #include <base/log.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/clock.cc b/repos/dde_linux/src/lib/lx_emul/clock.cc
index a4cf83cbe5..94c11e8027 100644
--- a/repos/dde_linux/src/lib/lx_emul/clock.cc
+++ b/repos/dde_linux/src/lib/lx_emul/clock.cc
@@ -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.
  */
 
 #include <base/log.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/clocksource.c b/repos/dde_linux/src/lib/lx_emul/clocksource.c
index a64df77cf7..451d5f440a 100644
--- a/repos/dde_linux/src/lib/lx_emul/clocksource.c
+++ b/repos/dde_linux/src/lib/lx_emul/clocksource.c
@@ -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.
  */
 
 #include <linux/clockchips.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/debug.cc b/repos/dde_linux/src/lib/lx_emul/debug.cc
index 1e13ee3071..d3c708615f 100644
--- a/repos/dde_linux/src/lib/lx_emul/debug.cc
+++ b/repos/dde_linux/src/lib/lx_emul/debug.cc
@@ -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.
  */
 
 #include <base/log.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/event.cc b/repos/dde_linux/src/lib/lx_emul/event.cc
index 48652774a9..d4b5e70e87 100644
--- a/repos/dde_linux/src/lib/lx_emul/event.cc
+++ b/repos/dde_linux/src/lib/lx_emul/event.cc
@@ -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.
  */
 
 #include <lx_kit/env.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/init.cc b/repos/dde_linux/src/lib/lx_emul/init.cc
index a52bdabb35..49ef192154 100644
--- a/repos/dde_linux/src/lib/lx_emul/init.cc
+++ b/repos/dde_linux/src/lib/lx_emul/init.cc
@@ -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.
  */
 
 #include <base/log.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/io_mem.cc b/repos/dde_linux/src/lib/lx_emul/io_mem.cc
index 3369d7ff3e..19ecf0ffbf 100644
--- a/repos/dde_linux/src/lib/lx_emul/io_mem.cc
+++ b/repos/dde_linux/src/lib/lx_emul/io_mem.cc
@@ -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.
  */
 
 #include <lx_kit/env.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/io_port.cc b/repos/dde_linux/src/lib/lx_emul/io_port.cc
index b94d85aab3..b28ae08e76 100644
--- a/repos/dde_linux/src/lib/lx_emul/io_port.cc
+++ b/repos/dde_linux/src/lib/lx_emul/io_port.cc
@@ -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.
  */
 
 #include <lx_kit/env.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/irq.cc b/repos/dde_linux/src/lib/lx_emul/irq.cc
index cd8b2656ac..f6c41abf5d 100644
--- a/repos/dde_linux/src/lib/lx_emul/irq.cc
+++ b/repos/dde_linux/src/lib/lx_emul/irq.cc
@@ -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.
  */
 
 #include <lx_emul/irq.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/irq_flags.cc b/repos/dde_linux/src/lib/lx_emul/irq_flags.cc
index ad08d7573e..00fd30fe0b 100644
--- a/repos/dde_linux/src/lib/lx_emul/irq_flags.cc
+++ b/repos/dde_linux/src/lib/lx_emul/irq_flags.cc
@@ -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.
  */
 
 #include <lx_emul/irq.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/irqchip.c b/repos/dde_linux/src/lib/lx_emul/irqchip.c
index 2952b77b66..327d861a2c 100644
--- a/repos/dde_linux/src/lib/lx_emul/irqchip.c
+++ b/repos/dde_linux/src/lib/lx_emul/irqchip.c
@@ -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.
  */
 
 #include <lx_emul/debug.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/log.cc b/repos/dde_linux/src/lib/lx_emul/log.cc
index 4a8aa3ac9a..a79536a253 100644
--- a/repos/dde_linux/src/lib/lx_emul/log.cc
+++ b/repos/dde_linux/src/lib/lx_emul/log.cc
@@ -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.
  */
 
 #include <lx_kit/env.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/nic.c b/repos/dde_linux/src/lib/lx_emul/nic.c
index 2f5d702c32..cd375f8a06 100644
--- a/repos/dde_linux/src/lib/lx_emul/nic.c
+++ b/repos/dde_linux/src/lib/lx_emul/nic.c
@@ -10,7 +10,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.
  */
 
 #include <linux/kthread.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/page_virt.cc b/repos/dde_linux/src/lib/lx_emul/page_virt.cc
index 889ffff892..acb7b04050 100644
--- a/repos/dde_linux/src/lib/lx_emul/page_virt.cc
+++ b/repos/dde_linux/src/lib/lx_emul/page_virt.cc
@@ -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.
  */
 
 #include <base/log.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/pci.cc b/repos/dde_linux/src/lib/lx_emul/pci.cc
index 713492293a..1cc1ea0632 100644
--- a/repos/dde_linux/src/lib/lx_emul/pci.cc
+++ b/repos/dde_linux/src/lib/lx_emul/pci.cc
@@ -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.
  */
 
 #include <base/log.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/pci_bus.c b/repos/dde_linux/src/lib/lx_emul/pci_bus.c
index 851754e075..8f9334af33 100644
--- a/repos/dde_linux/src/lib/lx_emul/pci_bus.c
+++ b/repos/dde_linux/src/lib/lx_emul/pci_bus.c
@@ -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.
  */
 
 #include <lx_emul.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/pin.cc b/repos/dde_linux/src/lib/lx_emul/pin.cc
index 0cb9796a2c..1d8072ca02 100644
--- a/repos/dde_linux/src/lib/lx_emul/pin.cc
+++ b/repos/dde_linux/src/lib/lx_emul/pin.cc
@@ -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.
  */
 
 /* Genode includes */
diff --git a/repos/dde_linux/src/lib/lx_emul/random.cc b/repos/dde_linux/src/lib/lx_emul/random.cc
index f545c0fa7a..f7bb46fbe1 100644
--- a/repos/dde_linux/src/lib/lx_emul/random.cc
+++ b/repos/dde_linux/src/lib/lx_emul/random.cc
@@ -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.
  */
 
 /* base/include */
diff --git a/repos/dde_linux/src/lib/lx_emul/random_dummy.cc b/repos/dde_linux/src/lib/lx_emul/random_dummy.cc
index f1106d4875..8e4021310a 100644
--- a/repos/dde_linux/src/lib/lx_emul/random_dummy.cc
+++ b/repos/dde_linux/src/lib/lx_emul/random_dummy.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.
  */
 
 /* base/include */
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/kernel/cacheinfo.c b/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/kernel/cacheinfo.c
index 41311dcfe1..7a9ecd72a7 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/kernel/cacheinfo.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/kernel/cacheinfo.c
@@ -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.
  */
 
 #include <asm/cache.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/kernel/cpufeature.c b/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/kernel/cpufeature.c
index 7c3a38ba82..c8ef224d28 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/kernel/cpufeature.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/kernel/cpufeature.c
@@ -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.
  */
 
 #include <linux/jump_label.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/kernel/smp.c b/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/kernel/smp.c
index f746036b63..eb38738a89 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/kernel/smp.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/kernel/smp.c
@@ -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.
  */
 
 #include <asm/smp.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/mm/ioremap.c b/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/mm/ioremap.c
index 7d4f70248b..8eb8c44aa0 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/mm/ioremap.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/arch/arm64/mm/ioremap.c
@@ -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.
  */
 
 #include <asm/io.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/arch/x86/kernel/irq.c b/repos/dde_linux/src/lib/lx_emul/shadow/arch/x86/kernel/irq.c
index b9b28fb934..7f36ca46b7 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/arch/x86/kernel/irq.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/arch/x86/kernel/irq.c
@@ -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.
  */
 
 #include <linux/irq.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/arch/x86/kernel/irq_32.c b/repos/dde_linux/src/lib/lx_emul/shadow/arch/x86/kernel/irq_32.c
index e8ff99c746..029e4e1004 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/arch/x86/kernel/irq_32.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/arch/x86/kernel/irq_32.c
@@ -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.
  */
 
 #include <linux/interrupt.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/arch/x86/kernel/setup_percpu.c b/repos/dde_linux/src/lib/lx_emul/shadow/arch/x86/kernel/setup_percpu.c
index 1fd7c5c81b..a29778e36a 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/arch/x86/kernel/setup_percpu.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/arch/x86/kernel/setup_percpu.c
@@ -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.
  */
 
 #include <asm/processor.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/base/power/common.c b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/base/power/common.c
index 6f762305ed..9d24ee1884 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/base/power/common.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/base/power/common.c
@@ -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.
  */
 
 #include <linux/pm_domain.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/char/random.c b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/char/random.c
index 4decaff266..00e0e11ec2 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/char/random.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/char/random.c
@@ -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.
  */
 
 #include <lx_emul.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/clk/clk-devres.c b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/clk/clk-devres.c
index 4c5b03bf53..9dd54dc2ea 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/clk/clk-devres.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/clk/clk-devres.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 <linux/clk.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/clk/clk.c b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/clk/clk.c
index 0e5c1d6ced..f07a9586bf 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/clk/clk.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/clk/clk.c
@@ -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.
  */
 
 #include <linux/clk.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/clk/clkdev.c b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/clk/clkdev.c
index 023dbd29c3..ead9635c4b 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/clk/clkdev.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/clk/clkdev.c
@@ -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.
  */
 
 #include <linux/clkdev.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/input/evdev.c b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/input/evdev.c
index 63c481b462..67aef15f54 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/input/evdev.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/input/evdev.c
@@ -11,7 +11,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.
  */
 
 #include <lx_emul.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/input/evdev.h b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/input/evdev.h
index 6838a9a7c4..a35f866be3 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/input/evdev.h
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/input/evdev.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 _SHADOW__DRIVERS__INPUT__EVDEV_H_
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/input/input-leds.c b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/input/input-leds.c
index d8a3f13f81..ba6cd23593 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/input/input-leds.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/input/input-leds.c
@@ -11,7 +11,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/hid.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/host-bridge.c b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/host-bridge.c
index 7d86619469..4bf0a898d1 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/host-bridge.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/host-bridge.c
@@ -1,3 +1,16 @@
+/*
+ * \brief  PCI-host bridge helpers
+ * \author Stefan Kalkowksi
+ * \date   2022-07-29
+ */
+
+/*
+ * Copyright (C) 2022 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #include <linux/pci.h>
 
 void pcibios_resource_to_bus(struct pci_bus *bus, struct pci_bus_region *region,
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/pci-sysfs.c b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/pci-sysfs.c
index 174228d7de..c92764dc1b 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/pci-sysfs.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/pci-sysfs.c
@@ -1,3 +1,16 @@
+/*
+ * \brief  PCI-sysfs dummies
+ * \author Stefan Kalkowski
+ * \date   2022-07-29
+ */
+
+/*
+ * Copyright (C) 2022 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #include <linux/pci.h>
 
 static struct attribute *pci_bus_attrs[] = {
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/pci.c b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/pci.c
index 357d79506f..b2d4ff7e32 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/pci.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/pci.c
@@ -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.
  */
 
 #include <linux/pci.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/search.c b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/search.c
index 4a3f7e27f1..b6f09f8a62 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/search.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/search.c
@@ -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.
  */
 
 #include <lx_emul/pci.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/setup-irq.c b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/setup-irq.c
index 51f668b44e..718970cec3 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/setup-irq.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/setup-irq.c
@@ -1,3 +1,16 @@
+/*
+ * \brief  PCI initialization
+ * \author Stefan Kalkowski
+ * \date   2022-07-29
+ */
+
+/*
+ * Copyright (C) 2022 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #include <linux/pci.h>
 #include <linux/irq.h>
 
@@ -19,6 +32,3 @@ void pci_assign_irq(struct pci_dev * dev)
 	irq_set_chip_and_handler(dev->irq, &dde_irqchip_data_chip,
 	                         handle_level_irq);
 }
-
-
-
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/setup-res.c b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/setup-res.c
index 1d54d06eb9..1e4b7d2127 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/setup-res.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/drivers/pci/setup-res.c
@@ -1,3 +1,16 @@
+/*
+ * \brief  PCI access
+ * \author Stefan Kalkowski
+ * \date   2022-07-29
+ */
+
+/*
+ * Copyright (C) 2022 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #include <linux/pci.h>
 
 resource_size_t __weak pcibios_align_resource(void *data,
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/fs/exec.c b/repos/dde_linux/src/lib/lx_emul/shadow/fs/exec.c
index a5cdc689cf..020507fa15 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/fs/exec.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/fs/exec.c
@@ -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.
  */
 
 #include <linux/sched.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/fs/libfs.c b/repos/dde_linux/src/lib/lx_emul/shadow/fs/libfs.c
index c34eb140c8..031eed2a4a 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/fs/libfs.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/fs/libfs.c
@@ -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.
  */
 
 #include <lx_emul.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/dma/mapping.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/dma/mapping.c
index 0583def226..cde7d5801f 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/dma/mapping.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/dma/mapping.c
@@ -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.
  */
 
 #include <lx_emul/alloc.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/exit.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/exit.c
index d6e78cb9c6..2f98115128 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/exit.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/exit.c
@@ -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.
  */
 
 #include <linux/kernel.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/fork.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/fork.c
index d4d86bca9e..d22192368d 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/fork.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/fork.c
@@ -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.
  */
 
 #include <linux/slab.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/irq/spurious.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/irq/spurious.c
index 7d48b86715..c4f4e1df50 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/irq/spurious.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/irq/spurious.c
@@ -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.
  */
 
 #include <linux/types.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/irq_work.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/irq_work.c
index ee63a59352..a6f71c32bd 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/irq_work.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/irq_work.c
@@ -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.
  */
 
 #include <linux/irq_work.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/locking/spinlock.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/locking/spinlock.c
index 139c3dd9a6..c563613120 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/locking/spinlock.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/locking/spinlock.c
@@ -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.
  */
 
 #include <linux/spinlock.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/pid.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/pid.c
index 9fb6efa133..4f5c76b6dd 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/pid.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/pid.c
@@ -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.
  */
 
 #include <linux/pid_namespace.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/printk/printk.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/printk/printk.c
index b787305c2e..b1c9a68cd5 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/printk/printk.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/printk/printk.c
@@ -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.
  */
 
 #include <linux/version.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/rcu/tiny.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/rcu/tiny.c
index 6f6402550c..b921c5335a 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/rcu/tiny.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/rcu/tiny.c
@@ -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.
  */
 
 #include <linux/cache.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/cputime.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/cputime.c
index 902546a971..849a39ae05 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/cputime.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/cputime.c
@@ -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.
  */
 
 #include <linux/sched.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/fair.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/fair.c
index f322998e45..b5699f182d 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/fair.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/fair.c
@@ -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.
  */
 
 #include <linux/sched/cputime.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/isolation.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/isolation.c
index a56efa38fc..0de2d9fecc 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/isolation.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/isolation.c
@@ -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.
  */
 
 
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/loadavg.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/loadavg.c
index 35e380659b..4159106979 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/loadavg.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/loadavg.c
@@ -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.
  */
 
 #include <linux/sched.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/sched.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/sched.c
index 42bbe37794..12dc1fb6a1 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/sched.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/sched/sched.c
@@ -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.
  */
 
 #include <linux/sched.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/smp.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/smp.c
index 497f3d51fb..0d7bbc6fb3 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/smp.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/smp.c
@@ -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.
  */
 
 #include <linux/cpumask.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/stop_machine.c b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/stop_machine.c
index 3c5ae068c4..7b54d42ed2 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/kernel/stop_machine.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/kernel/stop_machine.c
@@ -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.
  */
 
 #include <linux/stop_machine.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/lib/cpumask.c b/repos/dde_linux/src/lib/lx_emul/shadow/lib/cpumask.c
index ef9943d427..2c38428fc6 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/lib/cpumask.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/lib/cpumask.c
@@ -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.
  */
 
 #include <linux/cpumask.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/lib/delay.c b/repos/dde_linux/src/lib/lx_emul/shadow/lib/delay.c
index 3a80f3b117..1237b8064c 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/lib/delay.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/lib/delay.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.
  */
 
 
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/lib/devres.c b/repos/dde_linux/src/lib/lx_emul/shadow/lib/devres.c
index 39ecc1a9c2..a7c6c57d22 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/lib/devres.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/lib/devres.c
@@ -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.
  */
 
 #include <linux/device.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/lib/smp_processor_id.c b/repos/dde_linux/src/lib/lx_emul/shadow/lib/smp_processor_id.c
index ef4eb1c080..33525e5eb0 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/lib/smp_processor_id.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/lib/smp_processor_id.c
@@ -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.
  */
 
 #include <linux/smp.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/mm/dmapool.c b/repos/dde_linux/src/lib/lx_emul/shadow/mm/dmapool.c
index f4dacd05e3..e8f2f29bea 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/mm/dmapool.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/mm/dmapool.c
@@ -4,15 +4,13 @@
  * \date   2022-04-05
  */
 
-
 /*
  * 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.
  */
 
-
 #include <linux/slab.h>
 #include <linux/dmapool.h>
 
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/mm/memblock.c b/repos/dde_linux/src/lib/lx_emul/shadow/mm/memblock.c
index a4e4ecf182..6e104181d0 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/mm/memblock.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/mm/memblock.c
@@ -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.
  */
 
 #include <linux/slab.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/mm/page_alloc.c b/repos/dde_linux/src/lib/lx_emul/shadow/mm/page_alloc.c
index d7b00e813c..ffdd07de89 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/mm/page_alloc.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/mm/page_alloc.c
@@ -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.
  */
 
 #include <linux/gfp.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/mm/percpu.c b/repos/dde_linux/src/lib/lx_emul/shadow/mm/percpu.c
index 0399fdc7f8..d6eb73b5dc 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/mm/percpu.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/mm/percpu.c
@@ -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.
  */
 
 #include <linux/percpu.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/mm/slab_common.c b/repos/dde_linux/src/lib/lx_emul/shadow/mm/slab_common.c
index f9c115be38..0b30aeead4 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/mm/slab_common.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/mm/slab_common.c
@@ -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.
  */
 
 #include <linux/mm.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/mm/slub.c b/repos/dde_linux/src/lib/lx_emul/shadow/mm/slub.c
index 820a35334d..393dd26b49 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/mm/slub.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/mm/slub.c
@@ -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.
  */
 
 #include <linux/mm.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/mm/vmalloc.c b/repos/dde_linux/src/lib/lx_emul/shadow/mm/vmalloc.c
index 7d68f03967..466881fc11 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/mm/vmalloc.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/mm/vmalloc.c
@@ -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.
  */
 
 
diff --git a/repos/dde_linux/src/lib/lx_emul/shadow/mm/vmstat.c b/repos/dde_linux/src/lib/lx_emul/shadow/mm/vmstat.c
index c579226312..2e4ef3e9bb 100644
--- a/repos/dde_linux/src/lib/lx_emul/shadow/mm/vmstat.c
+++ b/repos/dde_linux/src/lib/lx_emul/shadow/mm/vmstat.c
@@ -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.
  */
 
 #include <linux/mm.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/shared_dma_buffer.cc b/repos/dde_linux/src/lib/lx_emul/shared_dma_buffer.cc
index f8e7ab1bd2..33a489b460 100644
--- a/repos/dde_linux/src/lib/lx_emul/shared_dma_buffer.cc
+++ b/repos/dde_linux/src/lib/lx_emul/shared_dma_buffer.cc
@@ -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.
  */
 
 #include <lx_kit/env.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/spec/arm/start.c b/repos/dde_linux/src/lib/lx_emul/spec/arm/start.c
index 475e0f44b5..304f3cfb7a 100644
--- a/repos/dde_linux/src/lib/lx_emul/spec/arm/start.c
+++ b/repos/dde_linux/src/lib/lx_emul/spec/arm/start.c
@@ -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.
  */
 
 #include <lx_emul/init.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/spec/x86/start.c b/repos/dde_linux/src/lib/lx_emul/spec/x86/start.c
index e3bfc4fb4d..f2dcbda8be 100644
--- a/repos/dde_linux/src/lib/lx_emul/spec/x86/start.c
+++ b/repos/dde_linux/src/lib/lx_emul/spec/x86/start.c
@@ -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.
  */
 
 #include <lx_emul/init.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/spec/x86_32/atomic64_32.c b/repos/dde_linux/src/lib/lx_emul/spec/x86_32/atomic64_32.c
index 0c67e469c1..2ac563b9f7 100644
--- a/repos/dde_linux/src/lib/lx_emul/spec/x86_32/atomic64_32.c
+++ b/repos/dde_linux/src/lib/lx_emul/spec/x86_32/atomic64_32.c
@@ -1,3 +1,16 @@
+/*
+ * \brief  Atomic instructions for x86_32
+ * \author Josef Soentgen
+ * \date   2022-02-09
+ */
+
+/*
+ * Copyright (C) 2024 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #include <asm/atomic64_32.h>
 
 /**
diff --git a/repos/dde_linux/src/lib/lx_emul/start.c b/repos/dde_linux/src/lib/lx_emul/start.c
index aad3ba6a19..0a5211759a 100644
--- a/repos/dde_linux/src/lib/lx_emul/start.c
+++ b/repos/dde_linux/src/lib/lx_emul/start.c
@@ -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.
  */
 
 #include <lx_emul/init.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/task.cc b/repos/dde_linux/src/lib/lx_emul/task.cc
index 28f97a1c5a..bb8cd99284 100644
--- a/repos/dde_linux/src/lib/lx_emul/task.cc
+++ b/repos/dde_linux/src/lib/lx_emul/task.cc
@@ -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.
  */
 
 #include <lx_emul/task.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/time.cc b/repos/dde_linux/src/lib/lx_emul/time.cc
index c10962b0fc..3da9aecc54 100644
--- a/repos/dde_linux/src/lib/lx_emul/time.cc
+++ b/repos/dde_linux/src/lib/lx_emul/time.cc
@@ -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.
  */
 
 #include <base/log.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/time_initial.c b/repos/dde_linux/src/lib/lx_emul/time_initial.c
index 9f036c6bf0..4e44dd7eb2 100644
--- a/repos/dde_linux/src/lib/lx_emul/time_initial.c
+++ b/repos/dde_linux/src/lib/lx_emul/time_initial.c
@@ -9,7 +9,7 @@
  * Copyright (C) 2023 gapfruit AG
  *
  * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
  */
 
 
diff --git a/repos/dde_linux/src/lib/lx_emul/usb.c b/repos/dde_linux/src/lib/lx_emul/usb.c
index e7ddb74e24..8702a13789 100644
--- a/repos/dde_linux/src/lib/lx_emul/usb.c
+++ b/repos/dde_linux/src/lib/lx_emul/usb.c
@@ -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.
  */
 
 #define KBUILD_MODNAME "genode_usb_driver"
diff --git a/repos/dde_linux/src/lib/lx_emul/virt/common_dummies.c b/repos/dde_linux/src/lib/lx_emul/virt/common_dummies.c
index 9cb3c156d2..647c9527a6 100644
--- a/repos/dde_linux/src/lib/lx_emul/virt/common_dummies.c
+++ b/repos/dde_linux/src/lib/lx_emul/virt/common_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>
diff --git a/repos/dde_linux/src/lib/lx_emul/virt/irq.cc b/repos/dde_linux/src/lib/lx_emul/virt/irq.cc
index 3fb8cf3ead..fe1051d271 100644
--- a/repos/dde_linux/src/lib/lx_emul/virt/irq.cc
+++ b/repos/dde_linux/src/lib/lx_emul/virt/irq.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 <lx_emul/irq.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/virt/shadow/drivers/usb/core/buffer.c b/repos/dde_linux/src/lib/lx_emul/virt/shadow/drivers/usb/core/buffer.c
index aed51f50a5..d7a0e31fdc 100644
--- a/repos/dde_linux/src/lib/lx_emul/virt/shadow/drivers/usb/core/buffer.c
+++ b/repos/dde_linux/src/lib/lx_emul/virt/shadow/drivers/usb/core/buffer.c
@@ -1,3 +1,15 @@
+/*
+ * \brief  HCD-memory management
+ * \author Stefan Kalkowski
+ * \date   2023-09-14
+ */
+
+/*
+ * Copyright (C) 2023 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
 
 #include <linux/usb.h>
 #include <linux/usb/hcd.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/virt/shadow/drivers/usb/core/hcd.c b/repos/dde_linux/src/lib/lx_emul/virt/shadow/drivers/usb/core/hcd.c
index 990164017a..9c6a5c0c77 100644
--- a/repos/dde_linux/src/lib/lx_emul/virt/shadow/drivers/usb/core/hcd.c
+++ b/repos/dde_linux/src/lib/lx_emul/virt/shadow/drivers/usb/core/hcd.c
@@ -1,3 +1,16 @@
+/*
+ * \brief  URB handling for USB
+ * \author Stefan Kalkowski
+ * \date   2023-09-14
+ */
+
+/*
+ * Copyright (C) 2023 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #include <linux/workqueue.h>
 #include <linux/types.h>
 #include <linux/usb.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/virt/spec/arm/dummies_arch.c b/repos/dde_linux/src/lib/lx_emul/virt/spec/arm/dummies_arch.c
index d9b0ac4680..6dc2220f88 100644
--- a/repos/dde_linux/src/lib/lx_emul/virt/spec/arm/dummies_arch.c
+++ b/repos/dde_linux/src/lib/lx_emul/virt/spec/arm/dummies_arch.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>
diff --git a/repos/dde_linux/src/lib/lx_emul/virt/spec/arm_v8/dummies_arch.c b/repos/dde_linux/src/lib/lx_emul/virt/spec/arm_v8/dummies_arch.c
index 2c2e11654d..75a95f6d76 100644
--- a/repos/dde_linux/src/lib/lx_emul/virt/spec/arm_v8/dummies_arch.c
+++ b/repos/dde_linux/src/lib/lx_emul/virt/spec/arm_v8/dummies_arch.c
@@ -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.
  */
 
 #include <lx_emul.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/virt/spec/x86/dummies_arch.c b/repos/dde_linux/src/lib/lx_emul/virt/spec/x86/dummies_arch.c
index 727505ca5b..c022a1ea19 100644
--- a/repos/dde_linux/src/lib/lx_emul/virt/spec/x86/dummies_arch.c
+++ b/repos/dde_linux/src/lib/lx_emul/virt/spec/x86/dummies_arch.c
@@ -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.
  */
 
 #include <lx_emul.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/virt/usb_client.c b/repos/dde_linux/src/lib/lx_emul/virt/usb_client.c
index 6e32f902e8..0be38d7584 100644
--- a/repos/dde_linux/src/lib/lx_emul/virt/usb_client.c
+++ b/repos/dde_linux/src/lib/lx_emul/virt/usb_client.c
@@ -1,3 +1,17 @@
+/*
+ * \brief  Register C-API USB-client
+ * \author Sebastian Sumpf
+ * \author Stefan Kalkowski
+ * \date   2023-07-05
+ */
+
+/*
+ * Copyright (C) 2024 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #include <linux/usb.h>
 #include <linux/usb/hcd.h>
 #include <../drivers/usb/core/usb.h>
diff --git a/repos/dde_linux/src/lib/lx_emul/virt_to_page.c b/repos/dde_linux/src/lib/lx_emul/virt_to_page.c
index 3e1c813503..b4f1aaab37 100644
--- a/repos/dde_linux/src/lib/lx_emul/virt_to_page.c
+++ b/repos/dde_linux/src/lib/lx_emul/virt_to_page.c
@@ -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.
  */
 
 #include <linux/slab.h>
diff --git a/repos/dde_linux/src/lib/lx_kit/console.cc b/repos/dde_linux/src/lib/lx_kit/console.cc
index 043b678efb..2bb97036ed 100644
--- a/repos/dde_linux/src/lib/lx_kit/console.cc
+++ b/repos/dde_linux/src/lib/lx_kit/console.cc
@@ -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.
  */
 
 /* Genode includes */
diff --git a/repos/dde_linux/src/lib/lx_kit/device.cc b/repos/dde_linux/src/lib/lx_kit/device.cc
index b6f4a9b334..cdd4c460c9 100644
--- a/repos/dde_linux/src/lib/lx_kit/device.cc
+++ b/repos/dde_linux/src/lib/lx_kit/device.cc
@@ -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.
  */
 
 #include <lx_kit/env.h>
diff --git a/repos/dde_linux/src/lib/lx_kit/env.cc b/repos/dde_linux/src/lib/lx_kit/env.cc
index c5628610ca..5ced521b95 100644
--- a/repos/dde_linux/src/lib/lx_kit/env.cc
+++ b/repos/dde_linux/src/lib/lx_kit/env.cc
@@ -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.
  */
 
 #include <lx_kit/env.h>
diff --git a/repos/dde_linux/src/lib/lx_kit/init.cc b/repos/dde_linux/src/lib/lx_kit/init.cc
index 873d27be9a..7119eea24f 100644
--- a/repos/dde_linux/src/lib/lx_kit/init.cc
+++ b/repos/dde_linux/src/lib/lx_kit/init.cc
@@ -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.
  */
 
 #include <base/log.h>
diff --git a/repos/dde_linux/src/lib/lx_kit/memory.cc b/repos/dde_linux/src/lib/lx_kit/memory.cc
index fa179833ef..e56d758bbd 100644
--- a/repos/dde_linux/src/lib/lx_kit/memory.cc
+++ b/repos/dde_linux/src/lib/lx_kit/memory.cc
@@ -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.
  */
 
 /* Genode includes */
diff --git a/repos/dde_linux/src/lib/lx_kit/memory_dma.cc b/repos/dde_linux/src/lib/lx_kit/memory_dma.cc
index 8e38a32f01..cfe04214ea 100644
--- a/repos/dde_linux/src/lib/lx_kit/memory_dma.cc
+++ b/repos/dde_linux/src/lib/lx_kit/memory_dma.cc
@@ -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.
  */
 
 /* Genode includes */
diff --git a/repos/dde_linux/src/lib/lx_kit/memory_non_dma.cc b/repos/dde_linux/src/lib/lx_kit/memory_non_dma.cc
index afa7461eba..0b89d645e9 100644
--- a/repos/dde_linux/src/lib/lx_kit/memory_non_dma.cc
+++ b/repos/dde_linux/src/lib/lx_kit/memory_non_dma.cc
@@ -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.
  */
 
 /* Genode includes */
diff --git a/repos/dde_linux/src/lib/lx_kit/scheduler.cc b/repos/dde_linux/src/lib/lx_kit/scheduler.cc
index 136623c896..1add5b733a 100644
--- a/repos/dde_linux/src/lib/lx_kit/scheduler.cc
+++ b/repos/dde_linux/src/lib/lx_kit/scheduler.cc
@@ -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.
  */
 
 /* Genode includes */
diff --git a/repos/dde_linux/src/lib/lx_kit/task.cc b/repos/dde_linux/src/lib/lx_kit/task.cc
index ce9771d112..3dc1b5ae38 100644
--- a/repos/dde_linux/src/lib/lx_kit/task.cc
+++ b/repos/dde_linux/src/lib/lx_kit/task.cc
@@ -10,7 +10,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.
  */
 
 #include <base/thread.h>
diff --git a/repos/dde_linux/src/lib/lx_kit/timeout.cc b/repos/dde_linux/src/lib/lx_kit/timeout.cc
index acbc14b838..3e4ca57f10 100644
--- a/repos/dde_linux/src/lib/lx_kit/timeout.cc
+++ b/repos/dde_linux/src/lib/lx_kit/timeout.cc
@@ -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.
  */
 
 #include <lx_kit/env.h>
diff --git a/repos/dde_linux/src/lib/lxip/dummies.c b/repos/dde_linux/src/lib/lxip/dummies.c
index 6826fbf874..57bf3280e9 100644
--- a/repos/dde_linux/src/lib/lxip/dummies.c
+++ b/repos/dde_linux/src/lib/lxip/dummies.c
@@ -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.
  */
 
 #include <lx_emul.h>
diff --git a/repos/dde_linux/src/lib/lxip/init.cc b/repos/dde_linux/src/lib/lxip/init.cc
index 9d84704ea3..77e8652908 100644
--- a/repos/dde_linux/src/lib/lxip/init.cc
+++ b/repos/dde_linux/src/lib/lxip/init.cc
@@ -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.
  */
 
 #include <lx_kit/env.h>
diff --git a/repos/dde_linux/src/lib/lxip/lx_emul.c b/repos/dde_linux/src/lib/lxip/lx_emul.c
index bc45d8a36d..302edb1643 100644
--- a/repos/dde_linux/src/lib/lxip/lx_emul.c
+++ b/repos/dde_linux/src/lib/lxip/lx_emul.c
@@ -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.
  */
 
 #include <lx_emul.h>
diff --git a/repos/dde_linux/src/lib/lxip/lx_emul.h b/repos/dde_linux/src/lib/lxip/lx_emul.h
index 9a34eedc41..f3b6f7aaed 100644
--- a/repos/dde_linux/src/lib/lxip/lx_emul.h
+++ b/repos/dde_linux/src/lib/lxip/lx_emul.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.
  */
 
 #include <lx_emul/debug.h>
diff --git a/repos/dde_linux/src/lib/lxip/lx_socket.c b/repos/dde_linux/src/lib/lxip/lx_socket.c
index d9991cd2f9..12fea26d74 100644
--- a/repos/dde_linux/src/lib/lxip/lx_socket.c
+++ b/repos/dde_linux/src/lib/lxip/lx_socket.c
@@ -3,14 +3,14 @@
  * \author Sebastian Sumpf
  * \date   2024-01-29
  *
- * Can only be called by lx_lit tasks
+ * Can only be called by lx_kit tasks
  */
 
 /*
  * 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.
  */
 
 #include <linux/net.h>
diff --git a/repos/dde_linux/src/lib/lxip/lx_socket.h b/repos/dde_linux/src/lib/lxip/lx_socket.h
index ab9f532273..835314a46f 100644
--- a/repos/dde_linux/src/lib/lxip/lx_socket.h
+++ b/repos/dde_linux/src/lib/lxip/lx_socket.h
@@ -3,14 +3,14 @@
  * \author Sebastian Sumpf
  * \date   2024-01-29
  *
- * Can only be called by lx_lit tasks
+ * Can only be called by lx_kit tasks
  */
 
 /*
  * 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.
  */
 
 
diff --git a/repos/dde_linux/src/lib/lxip/lx_user.c b/repos/dde_linux/src/lib/lxip/lx_user.c
index 0a2562b457..dc4127e1c0 100644
--- a/repos/dde_linux/src/lib/lxip/lx_user.c
+++ b/repos/dde_linux/src/lib/lxip/lx_user.c
@@ -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.
  */
 
 #include <linux/sched/task.h>
diff --git a/repos/dde_linux/src/lib/lxip/lx_user.h b/repos/dde_linux/src/lib/lxip/lx_user.h
index 3a57f446f5..01c1045221 100644
--- a/repos/dde_linux/src/lib/lxip/lx_user.h
+++ b/repos/dde_linux/src/lib/lxip/lx_user.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.
  */
 
 #ifdef __cplusplus
diff --git a/repos/dde_linux/src/lib/lxip/net_driver.c b/repos/dde_linux/src/lib/lxip/net_driver.c
index 37ebfd5f03..9800a36a4a 100644
--- a/repos/dde_linux/src/lib/lxip/net_driver.c
+++ b/repos/dde_linux/src/lib/lxip/net_driver.c
@@ -9,7 +9,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.
  */
 
 #include <linux/netdevice.h>
@@ -248,4 +248,3 @@ out:
  * an additional one
  */
 module_init(virtio_net_driver_init);
-
diff --git a/repos/dde_linux/src/lib/lxip/net_driver.h b/repos/dde_linux/src/lib/lxip/net_driver.h
index d2e5d9cde9..55dcd59c38 100644
--- a/repos/dde_linux/src/lib/lxip/net_driver.h
+++ b/repos/dde_linux/src/lib/lxip/net_driver.h
@@ -1,4 +1,4 @@
-/**
+/*
  * \brief  Nic client that transfers packets from/to IP stack to/from nic client
  *         C-API
  * \author Sebastian Sumpf
@@ -9,7 +9,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 _NET_DRIVER_H_
diff --git a/repos/dde_linux/src/lib/lxip/shadow/asm-generic/access_ok.h b/repos/dde_linux/src/lib/lxip/shadow/asm-generic/access_ok.h
index cea7d1a551..7c1b3de542 100644
--- a/repos/dde_linux/src/lib/lxip/shadow/asm-generic/access_ok.h
+++ b/repos/dde_linux/src/lib/lxip/shadow/asm-generic/access_ok.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 _SHADOW__ASM_GENERIC_ACCESS_OK_H_
diff --git a/repos/dde_linux/src/lib/lxip/shadow/linux/init.h b/repos/dde_linux/src/lib/lxip/shadow/linux/init.h
index d72ef61c64..49cb7c3434 100644
--- a/repos/dde_linux/src/lib/lxip/shadow/linux/init.h
+++ b/repos/dde_linux/src/lib/lxip/shadow/linux/init.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 _SHADOW__LINUX__INIT_H_
diff --git a/repos/dde_linux/src/lib/lxip/shadow/linux/utsname.h b/repos/dde_linux/src/lib/lxip/shadow/linux/utsname.h
index 4af37ce8b3..8738843097 100644
--- a/repos/dde_linux/src/lib/lxip/shadow/linux/utsname.h
+++ b/repos/dde_linux/src/lib/lxip/shadow/linux/utsname.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 _SHADOW__LINUX__UTSNAME_H_
diff --git a/repos/dde_linux/src/lib/lxip/socket.cc b/repos/dde_linux/src/lib/lxip/socket.cc
index daa8775a9c..be5bbef778 100644
--- a/repos/dde_linux/src/lib/lxip/socket.cc
+++ b/repos/dde_linux/src/lib/lxip/socket.cc
@@ -13,7 +13,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.
  */
 
 #include <base/log.h>
diff --git a/repos/dde_linux/src/lib/wifi/dtb_helper.cc b/repos/dde_linux/src/lib/wifi/dtb_helper.cc
index e0bac5649a..d1b32c0b59 100644
--- a/repos/dde_linux/src/lib/wifi/dtb_helper.cc
+++ b/repos/dde_linux/src/lib/wifi/dtb_helper.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 */
diff --git a/repos/dde_linux/src/lib/wifi/dtb_helper.h b/repos/dde_linux/src/lib/wifi/dtb_helper.h
index fd25cb4362..c893c3093d 100644
--- a/repos/dde_linux/src/lib/wifi/dtb_helper.h
+++ b/repos/dde_linux/src/lib/wifi/dtb_helper.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 _DTB_HELPER_H_
diff --git a/repos/dde_linux/src/lib/wifi/dtb_helper_no_dtb.cc b/repos/dde_linux/src/lib/wifi/dtb_helper_no_dtb.cc
index c298f86941..fc650f1a20 100644
--- a/repos/dde_linux/src/lib/wifi/dtb_helper_no_dtb.cc
+++ b/repos/dde_linux/src/lib/wifi/dtb_helper_no_dtb.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.
  */
 
 
diff --git a/repos/dde_linux/src/lib/wifi/firmware.cc b/repos/dde_linux/src/lib/wifi/firmware.cc
index 5b3d80e9e6..eb8818541a 100644
--- a/repos/dde_linux/src/lib/wifi/firmware.cc
+++ b/repos/dde_linux/src/lib/wifi/firmware.cc
@@ -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.
  */
 
 /* Genode includes */
diff --git a/repos/dde_linux/src/lib/wifi/libc_errno.h b/repos/dde_linux/src/lib/wifi/libc_errno.h
index 1ee1f6f36d..2cc1c97dfd 100644
--- a/repos/dde_linux/src/lib/wifi/libc_errno.h
+++ b/repos/dde_linux/src/lib/wifi/libc_errno.h
@@ -7,7 +7,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 _WLAN__LIBC_ERRNO_H_
diff --git a/repos/dde_linux/src/lib/wifi/lx_emul.c b/repos/dde_linux/src/lib/wifi/lx_emul.c
index 05e3d1f58b..a542f6ac66 100644
--- a/repos/dde_linux/src/lib/wifi/lx_emul.c
+++ b/repos/dde_linux/src/lib/wifi/lx_emul.c
@@ -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.
  */
 
 #include <lx_emul.h>
diff --git a/repos/dde_linux/src/lib/wifi/lx_emul.h b/repos/dde_linux/src/lib/wifi/lx_emul.h
index 4847819556..ee39100edb 100644
--- a/repos/dde_linux/src/lib/wifi/lx_emul.h
+++ b/repos/dde_linux/src/lib/wifi/lx_emul.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.
  */
 
 /* Needed to trace and stop */
diff --git a/repos/dde_linux/src/lib/wifi/lx_emul_pci.c b/repos/dde_linux/src/lib/wifi/lx_emul_pci.c
index 722aadb4ac..305bb9d496 100644
--- a/repos/dde_linux/src/lib/wifi/lx_emul_pci.c
+++ b/repos/dde_linux/src/lib/wifi/lx_emul_pci.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>
diff --git a/repos/dde_linux/src/lib/wifi/lx_socket_call.c b/repos/dde_linux/src/lib/wifi/lx_socket_call.c
index 8b829eaa3c..34fa5a815b 100644
--- a/repos/dde_linux/src/lib/wifi/lx_socket_call.c
+++ b/repos/dde_linux/src/lib/wifi/lx_socket_call.c
@@ -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.
  */
 
 /* DDE Linux includes */
diff --git a/repos/dde_linux/src/lib/wifi/lx_socket_call.h b/repos/dde_linux/src/lib/wifi/lx_socket_call.h
index 2a343aa4bc..da45ea866a 100644
--- a/repos/dde_linux/src/lib/wifi/lx_socket_call.h
+++ b/repos/dde_linux/src/lib/wifi/lx_socket_call.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_SOCKET_CALL_H_
diff --git a/repos/dde_linux/src/lib/wifi/lx_user.c b/repos/dde_linux/src/lib/wifi/lx_user.c
index e16982d508..16fba12137 100644
--- a/repos/dde_linux/src/lib/wifi/lx_user.c
+++ b/repos/dde_linux/src/lib/wifi/lx_user.c
@@ -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.
  */
 
 /* DDE Linux includes */
diff --git a/repos/dde_linux/src/lib/wifi/lx_user.h b/repos/dde_linux/src/lib/wifi/lx_user.h
index 18ca2f5a55..e12fa5ba38 100644
--- a/repos/dde_linux/src/lib/wifi/lx_user.h
+++ b/repos/dde_linux/src/lib/wifi/lx_user.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.
  */
 
 #ifdef __cplusplus
diff --git a/repos/dde_linux/src/lib/wifi/socket_call.cc b/repos/dde_linux/src/lib/wifi/socket_call.cc
index a646e724f9..349d4c17b5 100644
--- a/repos/dde_linux/src/lib/wifi/socket_call.cc
+++ b/repos/dde_linux/src/lib/wifi/socket_call.cc
@@ -8,7 +8,7 @@
  * Copyright (C) 2014-2022 Genode Labs GmbH
  *
  * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
  */
 
 /* Genode includes */
diff --git a/repos/dde_linux/src/lib/wifi/uplink.c b/repos/dde_linux/src/lib/wifi/uplink.c
index bdde2ca80c..1629e7f79c 100644
--- a/repos/dde_linux/src/lib/wifi/uplink.c
+++ b/repos/dde_linux/src/lib/wifi/uplink.c
@@ -9,7 +9,7 @@
  * Copyright (C) 2021-2022 Genode Labs GmbH
  *
  * This file is distributed under the terms of the GNU General Public License
- * version 2.
+ * version 2 or later.
  */
 
 #include "lx_user.h"
diff --git a/repos/dde_linux/src/lib/wifi/wlan.cc b/repos/dde_linux/src/lib/wifi/wlan.cc
index c7d44eb7eb..ac06e30ffc 100644
--- a/repos/dde_linux/src/lib/wifi/wlan.cc
+++ b/repos/dde_linux/src/lib/wifi/wlan.cc
@@ -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.
  */
 
 /* Genode includes */
diff --git a/repos/dde_linux/src/lib/wpa_driver_nl80211/dummies.cc b/repos/dde_linux/src/lib/wpa_driver_nl80211/dummies.cc
index 2cf40a7156..bdd16399ba 100644
--- a/repos/dde_linux/src/lib/wpa_driver_nl80211/dummies.cc
+++ b/repos/dde_linux/src/lib/wpa_driver_nl80211/dummies.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.
  */
 
 #include <base/log.h>
diff --git a/repos/dde_linux/src/lib/wpa_driver_nl80211/include/lx_user_emul.h b/repos/dde_linux/src/lib/wpa_driver_nl80211/include/lx_user_emul.h
index 951c27c7ea..e43f485001 100644
--- a/repos/dde_linux/src/lib/wpa_driver_nl80211/include/lx_user_emul.h
+++ b/repos/dde_linux/src/lib/wpa_driver_nl80211/include/lx_user_emul.h
@@ -1,3 +1,16 @@
+/*
+ * \brief  Definitions required by Linux
+ * \author Josef Soentgen
+ * \date   2014-11-22
+ */
+
+/*
+ * Copyright (C) 2014 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #ifndef _LX_USER_EMUL_H_
 #define _LX_USER_EMUL_H_
 
diff --git a/repos/dde_linux/src/lib/wpa_driver_nl80211/ioctl.cc b/repos/dde_linux/src/lib/wpa_driver_nl80211/ioctl.cc
index 7394398211..8007e3d0d3 100644
--- a/repos/dde_linux/src/lib/wpa_driver_nl80211/ioctl.cc
+++ b/repos/dde_linux/src/lib/wpa_driver_nl80211/ioctl.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.
  */
 
 /* compiler includes */
diff --git a/repos/dde_linux/src/lib/wpa_driver_nl80211/rfkill_genode.cc b/repos/dde_linux/src/lib/wpa_driver_nl80211/rfkill_genode.cc
index b85106b9b4..f8e9b6db12 100644
--- a/repos/dde_linux/src/lib/wpa_driver_nl80211/rfkill_genode.cc
+++ b/repos/dde_linux/src/lib/wpa_driver_nl80211/rfkill_genode.cc
@@ -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.
  */
 
 /*
diff --git a/repos/dde_linux/src/lib/wpa_supplicant/ctrl_iface_genode.cc b/repos/dde_linux/src/lib/wpa_supplicant/ctrl_iface_genode.cc
index 9dfac61e1d..2e231ed97d 100644
--- a/repos/dde_linux/src/lib/wpa_supplicant/ctrl_iface_genode.cc
+++ b/repos/dde_linux/src/lib/wpa_supplicant/ctrl_iface_genode.cc
@@ -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.
  */
 
 /*
diff --git a/repos/dde_linux/src/lib/wpa_supplicant/main.c b/repos/dde_linux/src/lib/wpa_supplicant/main.c
index 7bc61b7108..67e0256550 100644
--- a/repos/dde_linux/src/lib/wpa_supplicant/main.c
+++ b/repos/dde_linux/src/lib/wpa_supplicant/main.c
@@ -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.
  */
 
 /*
diff --git a/repos/dde_linux/src/test/driver_time/dummies.c b/repos/dde_linux/src/test/driver_time/dummies.c
index cea36b2868..9dd546d615 100644
--- a/repos/dde_linux/src/test/driver_time/dummies.c
+++ b/repos/dde_linux/src/test/driver_time/dummies.c
@@ -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.
  */
 
 #include <lx_emul.h>
diff --git a/repos/dde_linux/src/test/driver_time/lx_emul.h b/repos/dde_linux/src/test/driver_time/lx_emul.h
index 81699d13a2..53bf231202 100644
--- a/repos/dde_linux/src/test/driver_time/lx_emul.h
+++ b/repos/dde_linux/src/test/driver_time/lx_emul.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 _DRIVER_TIME__LX_EMUL_H_
diff --git a/repos/dde_linux/src/test/driver_time/lx_user.c b/repos/dde_linux/src/test/driver_time/lx_user.c
index 3d77239385..195707951f 100644
--- a/repos/dde_linux/src/test/driver_time/lx_user.c
+++ b/repos/dde_linux/src/test/driver_time/lx_user.c
@@ -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.
  */
 
 
diff --git a/repos/dde_linux/src/test/driver_time/main.cc b/repos/dde_linux/src/test/driver_time/main.cc
index e82bb89efd..cc9651911b 100644
--- a/repos/dde_linux/src/test/driver_time/main.cc
+++ b/repos/dde_linux/src/test/driver_time/main.cc
@@ -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.
  */
 
 #include <base/attached_rom_dataspace.h>
diff --git a/repos/dde_linux/src/test/driver_time/spec/arm_v8/lx_emul.c b/repos/dde_linux/src/test/driver_time/spec/arm_v8/lx_emul.c
index 3ce2aa0912..d711f0bb0f 100644
--- a/repos/dde_linux/src/test/driver_time/spec/arm_v8/lx_emul.c
+++ b/repos/dde_linux/src/test/driver_time/spec/arm_v8/lx_emul.c
@@ -1,6 +1,18 @@
+/*
+ * \brief  Implementation of Linux specific functions
+ * \author Sebastian Sumpf
+ * \date   2024-07-01
+ */
+
+/*
+ * Copyright (C) 2024 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #include <clocksource/arm_arch_timer.h>
 
 extern unsigned long long lx_emul_timestamp(void);
 
 u64 (*arch_timer_read_counter)(void) = lx_emul_timestamp;
-
diff --git a/repos/dde_linux/src/test/driver_time/spec/arm_v8/timestamp.cc b/repos/dde_linux/src/test/driver_time/spec/arm_v8/timestamp.cc
index a870169c45..a0c663d125 100644
--- a/repos/dde_linux/src/test/driver_time/spec/arm_v8/timestamp.cc
+++ b/repos/dde_linux/src/test/driver_time/spec/arm_v8/timestamp.cc
@@ -1,3 +1,16 @@
+/*
+ * \brief  Timestamp to Genode mapping
+ * \author Sebastian Sumpf
+ * \date   2024-07-01
+ */
+
+/*
+ * Copyright (C) 2024 Genode Labs GmbH
+ *
+ * This file is distributed under the terms of the GNU General Public License
+ * version 2 or later.
+ */
+
 #include <trace/timestamp.h>
 
 extern "C" unsigned long long lx_emul_timestamp();