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

kern_status_t acpi_init(void)
{
	return KERN_OK;
}