ACPI FADT IA-PC Boot Architecture flags include 'dont_enable_msi' (prohibit_msi). Theseus aims to be MSI-first and is not willing to implement a non-MSI fallback interrupt delivery path.
Policy request:
- If prohibit_msi is set, treat it as a serious firmware/hypervisor bug/compat flag.
- Log it loudly (ERROR, and ideally surface on screen/monitor) so the user sees it.
- Continue boot and attempt to use MSI/MSI-X anyway.
Acceptance:
- At ACPI init time, if prohibit_msi==true: emit a high-severity log + user-visible warning.
- Ensure the MSI enablement code path does not refuse to enable MSI solely due to this flag.
ACPI FADT IA-PC Boot Architecture flags include 'dont_enable_msi' (prohibit_msi). Theseus aims to be MSI-first and is not willing to implement a non-MSI fallback interrupt delivery path.
Policy request:
Acceptance: