HP 8530w Trusted Execution Technology and Tboot Implementation - Page 14

TBOOT: entry[1] sig = HPET @ 0x3a7fb000 TBOOT: entry[2] sig = APIC @ 0x3a7fa000 TBOOT: entry[3] sig = MCFG @ 0x3a7f9000 TBOOT: acpi_table_mcfg @ 3a7f9000, .base_address = e0000000 TBOOT: mtrr_def_type: e = 1, fe = 1, type = 0 TBOOT: mtrrs: TBOOT: base mask type v TBOOT: 0ffe00 fffe00 05 1 TBOOT: 000000 fc0000 06 1 TBOOT: 03f000 fff000 00 1 TBOOT: 03a570 fffff0 00 1 TBOOT: 000000 000000 00 0 TBOOT: 000000 000000 00 0 TBOOT: 000000 000000 00 0 TBOOT: max_ram=3a800000 TBOOT: begin verifying vtd_dmar ... TBOOT: RSDP (v002 HPQOEM) @ 0x000f6910 TBOOT: Seek in XSDT... TBOOT: entry[0] sig = FACP @ 0x3a7fc000 TBOOT: entry[1] sig = HPET @ 0x3a7fb000 TBOOT: entry[2] sig = APIC @ 0x3a7fa000 TBOOT: entry[3] sig = MCFG @ 0x3a7f9000 TBOOT: entry[4] sig = TCPA @ 0x3a7f7000 TBOOT: entry[5] sig = SSDT @ 0x3a7de000 TBOOT: entry[6] sig = SSDT @ 0x3a7dd000 TBOOT: entry[7] sig = SLIC @ 0x3a7da000 TBOOT: entry[8] sig = DMAR @ 0x3a7d9000 TBOOT: acpi_dmar = 3a7d9000 TBOOT: VT-d DMAR table OK TBOOT: saved IA32_MISC_ENABLE = 0x64972481 TBOOT: mle_join.entry_point = 1003120 TBOOT: mle_join.seg_sel = 8 TBOOT: mle_join.gdt_base = 1004000 TBOOT: mle_join.gdt_limit = 37 TBOOT: joining RLPs to MLE with MONITOR wakeup TBOOT: rlp_wakeup_addr = 0x3aa01948 TBOOT: cpu 1 waking up from TXT sleep TBOOT: waiting for all APs (1) to enter wait-for-sipi... TBOOT: enabling SMIs on cpu 1 TBOOT: .VMXON done for cpu 1 TBOOT: TBOOT: launching mini-guest for cpu 1 TBOOT: 14