| /* | |
| * 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) | |
| { | |
| } |