#include <arch/acpi.h>
#include <socks/printk.h>

kern_status_t acpi_init(void)
{
	struct acpi_sdt *fadt = acpi_find_sdt(ACPI_SIG_FADT);
	printk("acpi: FADT=%p", fadt);
	return KERN_OK;
}