1 /* 2 * IPMI ACPI firmware handling 3 * 4 * Copyright (c) 2015,2016 Corey Minyard, MontaVista Software, LLC 5 * 6 * This work is licensed under the terms of the GNU GPL, version 2 or later. 7 * See the COPYING file in the top-level directory. 8 */ 9 10 #include "hw/acpi/ipmi.h" 11 12 void build_acpi_ipmi_devices(Aml *table, BusState *bus) 13 { 14 } 15