This patchset provides a way to disable linux/ drivers and build gnumach with basic IOAPIC interrupts and LAPIC timer support in SMP mode.
You can still build gnumach the old way with PIC interrupts and single core, with or without linux/ drivers. Note that it currently assumes there is only one IOAPIC in the system, but can be extended to support systems with more. We still need an ACPI server to provide the mappings for the PIRQx to APIC pins by parsing it out of the DSDT ACPI table. As discussed, this should be done via a new pci-arbiter RPC that requests the IRQ id for a particular device.
