Xen
Sep 17 11:02:12 ip-172-31-9-253 acpica: [ID 474188 kern.notice] ACPI: RSDP 0x00000000000EA020 000024 (v02 Xen )
Sep 17 11:02:12 ip-172-31-9-253 acpica: [ID 302614 kern.notice] ACPI: XSDT 0x00000000FC00E2A0 000054 (v01 Xen HVM 00000000 HVML 00000000)
Sep 17 11:02:12 ip-172-31-9-253 acpica: [ID 529399 kern.notice] ACPI: FACP 0x00000000FC00DF60 0000F4 (v04 Xen HVM 00000000 HVML 00000000)
Sep 17 11:02:12 ip-172-31-9-253 acpica: [ID 536033 kern.notice] ACPI: DSDT 0x00000000FC0021C0 00BD19 (v02 Xen HVM 00000000 INTL 20090123)
Sep 17 11:02:12 ip-172-31-9-253 acpica: [ID 134141 kern.notice] ACPI: FACS 0x00000000FC002180 000040
Sep 17 11:02:12 ip-172-31-9-253 acpica: [ID 789318 kern.notice] ACPI: APIC 0x00000000FC00E060 0000D8 (v02 Xen HVM 00000000 HVML 00000000)
Sep 17 11:02:12 ip-172-31-9-253 acpica: [ID 751204 kern.notice] ACPI: HPET 0x00000000FC00E1B0 000038 (v01 Xen HVM 00000000 HVML 00000000)