Applied, thanks!
Michael Kelly, le ven. 30 oct. 2026 15:27:54 +0000, a ecrit:
> Any probed PCI device having a 64 bit BAR whose address is beyond the
> 32 bit space is disabled. This occurs regardless of whether this Linux
> code will manage the device and consequently other Hurd servers have
> their PCI service disabled. The simplest solution, which we should do
> anyway on machines having 64 bit physical address potential, is to
> configure Linux for 64 bit physical addresses.
> ---
> debian/patches/dde-linux-64bit-physaddr-64 | 12 ++++++++++++
> debian/patches/series | 1 +
> 2 files changed, 13 insertions(+)
> create mode 100644 debian/patches/dde-linux-64bit-physaddr-64
>
> diff --git a/debian/patches/dde-linux-64bit-physaddr-64
> b/debian/patches/dde-linux-64bit-physaddr-64
> new file mode 100644
> index 000000000..449626962
> --- /dev/null
> +++ b/debian/patches/dde-linux-64bit-physaddr-64
> @@ -0,0 +1,12 @@
> +Index: hurd/libdde-linux26/include/linux/autoconf.h
> +===================================================================
> +--- hurd.orig/libdde-linux26/include/linux/autoconf.h
> ++++ hurd/libdde-linux26/include/linux/autoconf.h
> +@@ -96,3 +96,7 @@
> + #undef CONFIG_FW_LOADER
> + #undef CONFIG_DMI
> + #undef CONFIG_PCIEAER
> ++
> ++/* Use 64 bit physical address for both i386 and x86_64. */
> ++#define CONFIG_PHYS_ADDR_T_64BIT 1
> ++
> diff --git a/debian/patches/series b/debian/patches/series
> index 7c76a68fb..2dc3b9f17 100644
> --- a/debian/patches/series
> +++ b/debian/patches/series
> @@ -25,3 +25,4 @@ git-lwip-filter
> git-fetch-root
> git-rumpdisk-countof
> git-nvme
> +dde-linux-64bit-physaddr-64
> --
> 2.47.3
>
>
