On Sun, Nov 08, 2020 at 05:54:14PM +0100, Marc SCHAEFER wrote:
> What could I try to do?
Thanks to some people around here (private replies), I tried:
- finding an option in the BIOS about 64 bit PCI addresses,
none found
- setpci -s 01:00.0 COMMAND=0x02
- removing all cards, shuffling them around
- upgrading the BIOS
Unfortunately, it does not work.
I thus replaced the mainboard from 2014 with one from 2017 and
it works.