Set up APIC for UEFI booting
mainIf you are using UEFI booting in v0.11, you cannot use the legacy PIC for interrupt handling and must set up the APIC instead.
Basic workflow:
- Locate the RSDP (ACPI structure) using the physical address provided in
boot_info.rsdp_addr. - Use the
acpicrate'sAcpiTables::from_rsdpfunction to load ACPI tables. - Use the
platform_info()method on the tables and read theinterrupt_modelfield of the returnedPlatformInfoto determine the system's interrupt controller requirements. - Parse and set up the local and IO APIC.