/* | |
* IPMI ACPI firmware handling | |
* | |
* Copyright (c) 2015,2016 Corey Minyard, MontaVista Software, LLC | |
* | |
* This work is licensed under the terms of the GNU GPL, version 2 or later. | |
* See the COPYING file in the top-level directory. | |
*/ | |
#include "hw/acpi/ipmi.h" | |
void build_acpi_ipmi_devices(Aml *table, BusState *bus) | |
{ | |
} |