seL4 defaults to assuming one IOAPIC exists based on KernelMaxNumIOAPIC. This means that x86-64 Microkit builds can only make use of one IOAPIC without changing the source code which is a bit annoying.
We could just set KernelMaxNumIOAPIC to some value and hope it works for most platforms but that is not a very satisfying solution.
seL4 defaults to assuming one IOAPIC exists based on
KernelMaxNumIOAPIC. This means that x86-64 Microkit builds can only make use of one IOAPIC without changing the source code which is a bit annoying.We could just set
KernelMaxNumIOAPICto some value and hope it works for most platforms but that is not a very satisfying solution.