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 "qemu/osdep.h" 11#include "hw/acpi/ipmi.h" 12 13void build_acpi_ipmi_devices(Aml *table, BusState *bus) 14{ 15} 16