commit bfb9aaf5790a05d0075879f1918da76a83471a0c
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Mon Aug 26 01:51:01 2024 +0200

    Fix build with gcc 14

diff --git a/libdde-linux26/contrib/include/linux/efi.h b/libdde-linux26/contrib/include/linux/efi.h
index bb66feb16..c543d7db3 100644
--- a/libdde-linux26/contrib/include/linux/efi.h
+++ b/libdde-linux26/contrib/include/linux/efi.h
@@ -318,7 +318,7 @@ static inline int efi_range_is_wc(unsigned long start, unsigned long len)
 	unsigned long i;
 
 	for (i = 0; i < len; i += (1UL << EFI_PAGE_SHIFT)) {
-		unsigned long paddr = __pa(start + i);
+		unsigned long paddr = __pa((void*) start + i);
 		if (!(efi_mem_attributes(paddr) & EFI_MEMORY_WC))
 			return 0;
 	}
diff --git a/libdde-linux26/lib/src/arch/l4/init.c b/libdde-linux26/lib/src/arch/l4/init.c
index 79112f784..5f4a3aa0c 100644
--- a/libdde-linux26/lib/src/arch/l4/init.c
+++ b/libdde-linux26/lib/src/arch/l4/init.c
@@ -30,4 +30,4 @@ void l4dde26_do_initcalls(void)
 	ddekit_do_initcalls();
 }
 
-dde_initcall(l4dde26_init);
+/* dde_initcall(l4dde26_init); */
diff --git a/libdde-linux26/lib/src/drivers/char/random.c b/libdde-linux26/lib/src/drivers/char/random.c
index 0430c9d0c..9f32982bc 100644
--- a/libdde-linux26/lib/src/drivers/char/random.c
+++ b/libdde-linux26/lib/src/drivers/char/random.c
@@ -223,12 +223,13 @@
  * Eastlake, Steve Crocker, and Jeff Schiller.
  */
 
+#include <linux/module.h>
+
 #ifdef DDE_LINUX
 #include <ddekit/resources.h>
 #else
 
 #include <linux/utsname.h>
-#include <linux/module.h>
 #include <linux/kernel.h>
 #include <linux/major.h>
 #include <linux/string.h>
