|
@@ -30,7 +30,6 @@
|
|
#include "hw/acpi/bios-linker-loader.h"
|
|
#include "hw/acpi/bios-linker-loader.h"
|
|
#include "hw/acpi/generic_event_device.h"
|
|
#include "hw/acpi/generic_event_device.h"
|
|
#include "hw/acpi/utils.h"
|
|
#include "hw/acpi/utils.h"
|
|
-#include "hw/boards.h"
|
|
|
|
#include "hw/i386/fw_cfg.h"
|
|
#include "hw/i386/fw_cfg.h"
|
|
#include "hw/i386/microvm.h"
|
|
#include "hw/i386/microvm.h"
|
|
#include "hw/pci/pci.h"
|
|
#include "hw/pci/pci.h"
|