1. 0d19289 arch/x86/ioapic: use uintptr_t for IOAPIC base address by Felix Held · 6 months ago
  2. 4a9ed70 acpi: add missing device/device.h include by Felix Held · 9 months ago
  3. cd46e5f acpi/acpi.c: Add and use acpi_arch_fill_madt() by Arthur Heymans · 1 year, 2 months ago
  4. 92a3b67 acpi/acpi.c: Split of ACPI table generation into separate files by Arthur Heymans · 1 year, 2 months ago