Hi Michael, On 10/10/25 7:26 AM, Samuel Thibault wrote: > We can easily add device_intr_something RPCs for acpi to know what it > should do. And conversely if gnumach needs to know how to configure > its interrupt reception we can add another RPC.
See here[1] for change that allows you to read the pic mode from acpi server. [1] https://lists.gnu.org/archive/html/bug-hurd/2025-10/msg00061.html Damien
