/*
 * \brief  Interface to ACPI
 * \author Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
 * \date   2012-02-25
 */

 /*
  * Copyright (C) 2009-2013 Genode Labs GmbH
  *
  * This file is part of the Genode OS framework, which is distributed
  * under the terms of the GNU General Public License version 2.
  */

#ifndef _ACPI_H_
#define _ACPI_H_

namespace Acpi
{
	/**
	 * Generate report rom
	 */
	void generate_report();
}

#endif /* _ACPI_H_ */

