1/* 2 * Copyright 2022 Adrien Destugues <pulkomandy@pulkomandy.tk> 3 * 4 * Distributed under terms of the MIT license. 5 */ 6 7#ifndef ARCH_INIT_H 8#define ARCH_INIT_H 9 10 11/** Find the ACPI root pointer using arch or platform-specific code. 12 * 13 * For example on x86, search for it in the BIOS. 14 */ 15ACPI_PHYSICAL_ADDRESS arch_init_find_root_pointer(); 16 17 18/** Initialize platform specific interrupt controller configuration. 19 * 20 * For example on x86, enable PIC or APIC depending on boot options. 21 */ 22void arch_init_interrupt_controller(); 23 24 25#endif /* !ARCH_INIT_H */ 26