/src/hw/i386/

• ../
• Makefile.objs
• acpi-build.c
• acpi-build.h
• acpi-dsdt-cpu-hotplug.dsl
• acpi-dsdt-dbug.dsl
• acpi-dsdt-hpet.dsl
• acpi-dsdt-isa.dsl
• acpi-dsdt-mem-hotplug.dsl
• acpi-dsdt.dsl
• acpi-dsdt.hex.generated
• intel_iommu.c
• intel_iommu_internal.h
• kvm
• kvmvapic.c
• multiboot.c
• multiboot.h
• pc.c
• pc_piix.c
• pc_q35.c
• pc_sysfw.c
• pci-assign-load-rom.c
• q35-acpi-dsdt.dsl
• q35-acpi-dsdt.hex.generated
• xen