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

kern_status_t acpi_init(void)
{
	kern_status_t status = acpi_smp_init();
	if (status != KERN_OK) {
		return status;
	}
	
	return KERN_OK;
}