Hi Damien.
On 04/10/2025 04:25, Damien Zammit wrote:
Can you try booting into grub and check the output of 'lsacpi' and see
if grub detects an override for pin 11?
If there is a mismatch between grub vs gnumach IRQ overrides, or poor
defaults, it may be a bug in gnumach.
There are 2 overrides showing but nothing related to 10 or 11:
Int override bus=0 src=0 GSI=00000002 Flags=0000
Int override bus=0 src=9 GSI=00000009 Flags=000d
There is 1 NMI entry which grub details as:
LAPIC_NMI ACPI_ID=ff Flags=0005 lint=01
Cheers,
Mike.