/* * 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"voidbuild_acpi_ipmi_devices(Aml *table, BusState *bus){}