/*
 * This file contains the Differentated System Descriptor Table initialisation
 * code.  The DSDT describes the peripherals attached to a machine, holding
 * information on IO ports, IRQs, memory mappings and power management.
 */

#include <nucleus/io.h>
#include <nucleus/kernel.h>
#include "acpi.h"

/* Parse the DSDT for information */
void
init_dsdt(struct SDTHeader *header)
{
	return;
}