Menu
▾
▴
Re: [tboot-devel] tboot, xen, grub2 infinite loop
|
From: Ben G. <ben...@gm...> - 2011-07-14 02:23:21
|
If it makes a difference, I am running the grub2 that ships with ubuntu 11.04 - which is 1.99 with a few ubuntu patches on top of it.
/btg
On Jul 13, 2011, at 9:58 PM, "Wei, Gang" <gan...@in...> wrote:
> I will look into this issue. Thanks for raising it.
>
> Jimmy
>
>
>> -----Original Message-----
>> From: Ben Guthro [mailto:be...@gu...]
>> Sent: Thursday, July 07, 2011 1:06 AM
>> To: tbo...@li...
>> Cc: Ken Kane
>> Subject: [tboot-devel] tboot, xen, grub2 infinite loop
>>
>> I am attempting to get tboot working with Xen-4.0.2, grub2, and the
>> 2nd_gen_i5_i7_SINIT_19.BIN module working, but have been having
>> limited results, with things seeming to hang when loading xen
>>
>> I've traced this back to tboot/common/elf.c in expand_elf_image()
>>
>> objdump shows that tboot gets loaded at the following:
>>
>> start address 0x00803000
>>
>> Program Header:
>> LOAD off 0x00001000 vaddr 0x00803000 paddr 0x00803000 align
>> 2**12
>> filesz 0x00022000 memsz 0x0007ae60 flags rwx
>>
>>
>> ...and xen at the following:
>>
>> start address 0x00100000
>>
>> Program Header:
>> LOAD off 0x00000080 vaddr 0x00100000 paddr 0x00100000 align 2**6
>> filesz 0x00172000 memsz 0x002b8000 flags rwx
>>
>>
>> In the for loop in expand_elf_image, when it is doing the memcpy, and
>> memset - it seems to overwrite the heap, and get into an infinite loop
>>
>>
>> Is anyone else running into issues like this?
>>
>> Any suggestions, or ideas would be greatly appreciated.
>>
>>
>> Ben Guthro
>>
>>
>>
>> My grub entry looks like the following:
>>
>> menuentry "TXT: test1" {
>> saved_entry=0
>> save_env saved_entry
>> set root=(MyVG-MyBootDisk)
>> multiboot /tboot.gz logging=vga,memory serial=115200,8n1,0x4000,19
>> module /xen.gz com1=115200,8n1,magic console=com1
>> iommu=required dom0_mem=1024MB cpufreq=xen cpuidle
>> earlyprintk=xenboot
>> loglvl=all
>> module /vmlinuz-2.6.38 root=/dev/mapper/MyRootDisk ro quiet
>> splash xencons=tty console=hvc0
>> module /initrd.img-2.6.38
>> module /2nd_gen_i5_i7_SINIT_19.BIN
>> }
>>
>> tboot debug looks like the following:
>>
>> diff -r 17221ef98ed6 tboot/common/elf.c
>> --- a/tboot/common/elf.c
>> +++ b/tboot/common/elf.c
>> @@ -163,16 +163,29 @@
>>
>> /* assumed that already passed is_elf_image() check */
>>
>> +
>> /* load elf image into memory */
>> for ( int i = 0; i < elf->e_phnum; i++ ) {
>> elf_program_header_t *ph = (elf_program_header_t *)
>> ((void *)elf + elf->e_phoff + i*elf->e_phentsize);
>> -
>> + printk("i=%d\n", i);
>> + printk(" elf = 0x%x\n", (int)&elf);
>> + printk(" elf.e_phnum = 0x%x\n", elf->e_phnum);
>> + printk(" elf.p_phentsize = 0x%x\n", elf->e_phentsize);
>> + printk(" elf.p_phoff = 0x%x\n", elf->e_phoff);
>> + printk(" ph.p_filesz = 0x%x\n", ph->p_filesz);
>> + printk(" ph.p_memsz = 0x%x\n", ph->p_memsz);
>> + printk(" ph.p_addr = 0x%x\n", ph->p_paddr);
>> + printk(" ph.p_offset = 0x%x\n", ph->p_offset);
>> if ( ph->p_type == PT_LOAD ) {
>> memcpy((void *)ph->p_paddr, (void *)elf + ph->p_offset,
>> ph->p_filesz);
>> +#if 0
>> memset((void *)(ph->p_paddr + ph->p_filesz), 0,
>> ph->p_memsz - ph->p_filesz);
>> +#else
>> + break;
>> +#endif
>> }
>> }
>>
>>
>> And finally, my tboot debug output:
>>
>> TBOOT: ******************* TBOOT *******************
>> TBOOT: 2011-07-06 08:00 -0400 1:17221ef98ed6
>> TBOOT: *********************************************
>> TBOOT: command line: serial=115200,8n1,0x4000,19
>> TBOOT: BSP is cpu 0
>> TBOOT: original e820 map:
>> TBOOT: 0000000000000000 - 000000000009d800 (1)
>> TBOOT: 000000000009d800 - 00000000000a0000 (2)
>> TBOOT: 00000000000e0000 - 0000000000100000 (2)
>> TBOOT: 0000000000100000 - 00000000ba59f000 (1)
>> TBOOT: 00000000ba59f000 - 00000000baa9f000 (2)
>> TBOOT: 00000000baa9f000 - 00000000bab9f000 (4)
>> TBOOT: 00000000bab9f000 - 00000000babff000 (3)
>> TBOOT: 00000000babff000 - 00000000bac00000 (1)
>> TBOOT: 00000000bac00000 - 00000000bfa00000 (2)
>> TBOOT: 00000000f8000000 - 00000000fc000000 (2)
>> TBOOT: 00000000fec00000 - 00000000fec01000 (2)
>> TBOOT: 00000000fed08000 - 00000000fed09000 (2)
>> TBOOT: 00000000fed10000 - 00000000fed1a000 (2)
>> TBOOT: 00000000fed1c000 - 00000000fed20000 (2)
>> TBOOT: 00000000fee00000 - 00000000fee01000 (2)
>> TBOOT: 00000000ffd20000 - 0000000100000000 (2)
>> TBOOT: 0000000100000000 - 000000013e600000 (1)
>> TBOOT: TPM is ready
>> TBOOT: TPM nv_locked: TRUE
>> TBOOT: TPM timeout values: A: 750, B: 750, C: 750, D: 750
>> TBOOT: reading Verified Launch Policy from TPM NV...
>> TBOOT: :512 bytes read
>> TBOOT: policy:
>> TBOOT: version: 2
>> TBOOT: policy_type: TB_POLTYPE_HALT
>> TBOOT: hash_alg: TB_HALG_SHA1
>> TBOOT: policy_control: 00000001 (EXTEND_PCR17)
>> TBOOT: num_entries: 1
>> TBOOT: policy entry[0]:
>> TBOOT: mod_num: any
>> TBOOT: pcr: none
>> TBOOT: hash_type: TB_HTYPE_ANY
>> TBOOT: num_hashes: 0
>> TBOOT: IA32_FEATURE_CONTROL_MSR: 0000ff07
>> TBOOT: CPU is SMX-capable
>> TBOOT: CPU is VMX-capable
>> TBOOT: SMX is enabled
>> TBOOT: TXT chipset and all needed capabilities present
>> TBOOT: TXT.ERRORCODE=0
>> TBOOT: LT.ESTS=0
>> TBOOT: IA32_FEATURE_CONTROL_MSR: 0000ff07
>> TBOOT: CPU is SMX-capable
>> TBOOT: CPU is VMX-capable
>> TBOOT: SMX is enabled
>> TBOOT: TXT chipset and all needed capabilities present
>> TBOOT: unsupported BIOS data version (4)
>> TBOOT: bios_data (@0xbaf20008, 0x56):
>> TBOOT: version: 4
>> TBOOT: bios_sinit_size: 0x0 (0)
>> TBOOT: lcp_pd_base: 0x0
>> TBOOT: lcp_pd_size: 0x0 (0)
>> TBOOT: num_logical_procs: 4
>> TBOOT: flags: 0x00000000
>> TBOOT: CR0 and EFLAGS OK
>> TBOOT: supports preserving machine check errors
>> TBOOT: CPU is ready for SENTER
>> TBOOT: disabling legacy USB SMIs
>> TBOOT: checking previous errors on the last boot.
>> last boot has error.
>> TBOOT: chipset ids: vendor: 0x8086, device: 0xb001, revision: 0x1
>> TBOOT: chipset production fused: 1
>> TBOOT: checking if module is an SINIT for this platform...
>> TBOOT: ACM info_table version mismatch (4)
>> TBOOT: 1 ACM chipset id entries:
>> TBOOT: vendor: 0x8086, device: 0xb001, flags: 0x1, revision:
>> 0x1, extended: 0x0
>> TBOOT: SINIT matches platform
>> TBOOT: copied SINIT (size=c000) to 0xbaf00000
>> TBOOT: AC mod base alignment OK
>> TBOOT: AC mod size OK
>> TBOOT: AC module header dump for SINIT:
>> TBOOT: type: 0x2 (ACM_TYPE_CHIPSET)
>> TBOOT: length: 0xa1 (161)
>> TBOOT: version: 0
>> TBOOT: chipset_id: 0xb001
>> TBOOT: flags: 0x0
>> TBOOT: pre_production: 0
>> TBOOT: debug_signed: 0
>> TBOOT: vendor: 0x8086
>> TBOOT: date: 0x20110506
>> TBOOT: size*4: 0xc000 (49152)
>> TBOOT: code_control: 0x0
>> TBOOT: entry point: 0x00000008:000034ce
>> TBOOT: scratch_size: 0x8f (143)
>> TBOOT: info_table:
>> TBOOT: uuid: {0x7fc03aaa, 0x46a7, 0x18db, 0xac2e,
>> {0x69, 0x8f, 0x8d, 0x41, 0x7f, 0x5a}}
>> TBOOT: ACM_UUID_V3
>> TBOOT: chipset_acm_type: 0x1 (SINIT)
>> TBOOT: version: 4
>> TBOOT: length: 0x2c (44)
>> TBOOT: chipset_id_list: 0x4ec
>> TBOOT: os_sinit_data_ver: 0x5
>> TBOOT: min_mle_hdr_ver: 0x00020000
>> TBOOT: capabilities: 0x0000000e
>> TBOOT: rlp_wake_getsec: 0
>> TBOOT: rlp_wake_monitor: 1
>> TBOOT: ecx_pgtbl: 1
>> TBOOT: acm_ver: 19
>> TBOOT: chipset list:
>> TBOOT: count: 1
>> TBOOT: entry 0:
>> TBOOT: flags: 0x1
>> TBOOT: vendor_id: 0x8086
>> TBOOT: device_id: 0xb001
>> TBOOT: revision_id: 0x1
>> TBOOT: extended_id: 0x0
>> TBOOT: file addresses:
>> TBOOT: &_start=0x803000
>> TBOOT: &_end=0x87de60
>> TBOOT: &_mle_start=0x803000
>> TBOOT: &_mle_end=0x822000
>> TBOOT: &_post_launch_entry=0x803020
>> TBOOT: &_txt_wakeup=0x8031f0
>> TBOOT: &g_mle_hdr=0x818980
>> TBOOT: MLE header:
>> TBOOT: uuid={0x9082ac5a, 0x476f, 0x74a7, 0x5c0f,
>> {0x55, 0xa2, 0xcb, 0x51, 0xb6, 0x42}}
>> TBOOT: length=34
>> TBOOT: version=00020001
>> TBOOT: entry_point=00000020
>> TBOOT: first_valid_page=00000000
>> TBOOT: mle_start_off=0
>> TBOOT: mle_end_off=1f000
>> TBOOT: capabilities: 0x00000007
>> TBOOT: rlp_wake_getsec: 1
>> TBOOT: rlp_wake_monitor: 1
>> TBOOT: ecx_pgtbl: 1
>> TBOOT: MLE start=803000, end=822000, size=1f000
>> TBOOT: ptab_size=3000, ptab_base=0x800000
>> TBOOT: unsupported BIOS data version (4)
>> TBOOT: bios_data (@0xbaf20008, 0x56):
>> TBOOT: version: 4
>> TBOOT: bios_sinit_size: 0x0 (0)
>> TBOOT: lcp_pd_base: 0x0
>> TBOOT: lcp_pd_size: 0x0 (0)
>> TBOOT: num_logical_procs: 4
>> TBOOT: flags: 0x00000000
>> TBOOT: min_lo_ram: 0x0, max_lo_ram: 0xbac00000
>> TBOOT: min_hi_ram: 0x100000000, max_hi_ram: 0x13e600000
>> TBOOT: no LCP module found
>> TBOOT: os_sinit_data (@0xbaf3017e, 0x64):
>> TBOOT: version: 5
>> TBOOT: mle_ptab: 0x800000
>> TBOOT: mle_size: 0x1f000 (126976)
>> TBOOT: mle_hdr_base: 0x15980
>> TBOOT: vtd_pmr_lo_base: 0x0
>> TBOOT: vtd_pmr_lo_size: 0xbac00000
>> TBOOT: vtd_pmr_hi_base: 0x100000000
>> TBOOT: vtd_pmr_hi_size: 0x3e600000
>> TBOOT: lcp_po_base: 0x0
>> TBOOT: lcp_po_size: 0x0 (0)
>> TBOOT: capabilities: 0x00000002
>> TBOOT: rlp_wake_getsec: 0
>> TBOOT: rlp_wake_monitor: 1
>> TBOOT: ecx_pgtbl: 0
>> TBOOT: efi_rsdt_ptr: 0x0
>> TBOOT: setting MTRRs for acmod: base=0xbaf00000, size=0xc000,
>> num_pages=12
>> TBOOT: executing GETSEC[SENTER]...
>> TBOOT: ******************* TBOOT *******************
>> TBOOT: 2011-07-06 08:00 -0400 1:17221ef98ed6
>> TBOOT: *********************************************
>> TBOOT: command line: serial=115200,8n1,0x4000,19
>> TBOOT: BSP is cpu 0
>> TBOOT: original e820 map:
>> TBOOT: 0000000000000000 - 000000000009d800 (1)
>> TBOOT: 000000000009d800 - 00000000000a0000 (2)
>> TBOOT: 00000000000e0000 - 0000000000100000 (2)
>> TBOOT: 0000000000100000 - 00000000ba59f000 (1)
>> TBOOT: 00000000ba59f000 - 00000000baa9f000 (2)
>> TBOOT: 00000000baa9f000 - 00000000bab9f000 (4)
>> TBOOT: 00000000bab9f000 - 00000000babff000 (3)
>> TBOOT: 00000000babff000 - 00000000bac00000 (1)
>> TBOOT: 00000000bac00000 - 00000000bfa00000 (2)
>> TBOOT: 00000000f8000000 - 00000000fc000000 (2)
>> TBOOT: 00000000fec00000 - 00000000fec01000 (2)
>> TBOOT: 00000000fed08000 - 00000000fed09000 (2)
>> TBOOT: 00000000fed10000 - 00000000fed1a000 (2)
>> TBOOT: 00000000fed1c000 - 00000000fed20000 (2)
>> TBOOT: 00000000fee00000 - 00000000fee01000 (2)
>> TBOOT: 00000000ffd20000 - 0000000100000000 (2)
>> TBOOT: 0000000100000000 - 000000013e600000 (1)
>> TBOOT: TPM is ready
>> TBOOT: TPM nv_locked: TRUE
>> TBOOT: TPM timeout values: A: 750, B: 750, C: 750, D: 750
>> TBOOT: reading Verified Launch Policy from TPM NV...
>> TBOOT: :512 bytes read
>> TBOOT: policy:
>> TBOOT: version: 2
>> TBOOT: policy_type: TB_POLTYPE_HALT
>> TBOOT: hash_alg: TB_HALG_SHA1
>> TBOOT: policy_control: 00000001 (EXTEND_PCR17)
>> TBOOT: num_entries: 1
>> TBOOT: policy entry[0]:
>> TBOOT: mod_num: any
>> TBOOT: pcr: none
>> TBOOT: hash_type: TB_HTYPE_ANY
>> TBOOT: num_hashes: 0
>> TBOOT: IA32_FEATURE_CONTROL_MSR: 0000ff07
>> TBOOT: CPU is SMX-capable
>> TBOOT: CPU is VMX-capable
>> TBOOT: SMX is enabled
>> TBOOT: TXT chipset and all needed capabilities present
>> TBOOT: TXT.ERRORCODE=c0000001
>> TBOOT: AC module error : acm_type=1, progress=00, error=0
>> TBOOT: LT.ESTS=0
>> TBOOT: IA32_FEATURE_CONTROL_MSR: 0000ff07
>> TBOOT: CPU is SMX-capable
>> TBOOT: CPU is VMX-capable
>> TBOOT: SMX is enabled
>> TBOOT: TXT chipset and all needed capabilities present
>> TBOOT: unsupported BIOS data version (4)
>> TBOOT: bios_data (@0xbaf20008, 0x56):
>> TBOOT: version: 4
>> TBOOT: bios_sinit_size: 0x0 (0)
>> TBOOT: lcp_pd_base: 0x0
>> TBOOT: lcp_pd_size: 0x0 (0)
>> TBOOT: num_logical_procs: 4
>> TBOOT: flags: 0x00000000
>> TBOOT: measured launch succeeded
>> TBOOT: unsupported BIOS data version (4)
>> TBOOT: bios_data (@0xbaf20008, 0x56):
>> TBOOT: version: 4
>> TBOOT: bios_sinit_size: 0x0 (0)
>> TBOOT: lcp_pd_base: 0x0
>> TBOOT: lcp_pd_size: 0x0 (0)
>> TBOOT: num_logical_procs: 4
>> TBOOT: flags: 0x00000000
>> TBOOT: os_mle_data (@0xbaf2005e, 0x10120):
>> TBOOT: version: 2
>> TBOOT: mbi: 0x275110
>> TBOOT: os_sinit_data (@0xbaf3017e, 0x64):
>> TBOOT: version: 5
>> TBOOT: mle_ptab: 0x800000
>> TBOOT: mle_size: 0x1f000 (126976)
>> TBOOT: mle_hdr_base: 0x15980
>> TBOOT: vtd_pmr_lo_base: 0x0
>> TBOOT: vtd_pmr_lo_size: 0xbac00000
>> TBOOT: vtd_pmr_hi_base: 0x100000000
>> TBOOT: vtd_pmr_hi_size: 0x3e600000
>> TBOOT: lcp_po_base: 0x0
>> TBOOT: lcp_po_size: 0x0 (0)
>> TBOOT: capabilities: 0x00000002
>> TBOOT: rlp_wake_getsec: 0
>> TBOOT: rlp_wake_monitor: 1
>> TBOOT: ecx_pgtbl: 0
>> TBOOT: efi_rsdt_ptr: 0x0
>> TBOOT: sinit_mle_data (@0xbaf301e2, 0x22c):
>> TBOOT: version: 8
>> TBOOT: bios_acm_id:
>> 80 00 00 00 20 10 10 22 00 00 b0 01 ff ff ff ff ff ff ff ff
>> TBOOT: edx_senter_flags: 0x00000000
>> TBOOT: mseg_valid: 0x0
>> TBOOT: sinit_hash:
>> 10 2c 49 2f 97 29 1d e6 c1 79 59 18 08 0a 1f 54 24 7f e1 2c
>> TBOOT: mle_hash:
>> ef c3 94 df 2d 87 e0 00 78 0c ae 06 6b 77 4f dd f7 98 bb cf
>> TBOOT: stm_hash:
>> 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
>> TBOOT: lcp_policy_hash:
>> 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
>> TBOOT: lcp_policy_control: 0x00000000
>> TBOOT: rlp_wakeup_addr: 0xbaf01a20
>> TBOOT: num_mdrs: 7
>> TBOOT: mdrs_off: 0x9c
>> TBOOT: num_vtd_dmars: 232
>> TBOOT: vtd_dmars_off: 0x144
>> TBOOT: sinit_mdrs:
>> TBOOT: 0000000000000000 - 00000000000a0000 (GOOD)
>> TBOOT: 0000000000100000 - 0000000000f00000 (GOOD)
>> TBOOT: 0000000001000000 - 00000000baf00000 (GOOD)
>> TBOOT: 0000000000000000 - 0000000000000000 (GOOD)
>> TBOOT: 0000000100000000 - 000000013e600000 (GOOD)
>> TBOOT: 00000000bb000000 - 00000000bb800000 (SMRAM
>> NON-OVERLAY)
>> TBOOT: 00000000f8000000 - 00000000fc000000 (PCIE EXTENDED
>> CONFIG)
>> TBOOT: proc_scrtm_status: 0x00000000
>> TBOOT: RSDP (v2, LENOVO �$) @ 0x0f00e0
>> TBOOT: acpi_table_ioapic @ 0xbabe706c, .address = 0xfec00000
>> TBOOT: acpi_table_mcfg @ 0xbabe6000, .base_address = 0xf8000000
>> TBOOT: mtrr_def_type: e = 1, fe = 1, type = 0
>> TBOOT: mtrrs:
>> TBOOT: base mask type v
>> TBOOT: 0ffc00 fffc00 05 01
>> TBOOT: 000000 f80000 06 01
>> TBOOT: 080000 fc0000 06 01
>> TBOOT: 0bc000 ffc000 00 01
>> TBOOT: 0bb000 fff000 00 01
>> TBOOT: 0bac00 fffc00 00 01
>> TBOOT: 100000 fc0000 06 01
>> TBOOT: 13f000 fff000 00 01
>> TBOOT: 13e800 fff800 00 01
>> TBOOT: 13e600 fffe00 00 01
>> TBOOT: min_lo_ram: 0x0, max_lo_ram: 0xbac00000
>> TBOOT: min_hi_ram: 0x100000000, max_hi_ram: 0x13e600000
>> TBOOT: MSR for SMM monitor control on BSP is 0x0.
>> TBOOT: verifying ILP is opt-out or has the same MSEG header with
>> TXT.MSEG.BASE
>> opt-out
>> TBOOT: : succeeded.
>> TBOOT: enabling SMIs on BSP
>> TBOOT: mle_join.entry_point = 8031f0
>> TBOOT: mle_join.seg_sel = 8
>> TBOOT: mle_join.gdt_base = 804000
>> TBOOT: mle_join.gdt_limit = 3f
>> TBOOT: joining RLPs to MLE with MONITOR wakeup
>> TBOOT: rlp_wakeup_addr = 0xbaf01a20
>> TBOOT: cpu 2 waking up from TXT sleep
>> TBOOT: waiting for all APs (3) to enter wait-for-sipi...
>> TBOOT: MSR for SMM monitor control on cpu 2 is 0x0
>> TBOOT: verifying ILP's MSR_IA32_SMM_MONITOR_CTL with cpu 2
>> : succeeded.
>> TBOOT: enabling SMIs on cpu 2
>> TBOOT: .VMXON done for cpu 2
>> TBOOT:
>> TBOOT: cpu 3 waking up from TXT sleep
>> TBOOT: launching mini-guest for cpu 2
>> TBOOT: MSR for SMM monitor control on cpu 3 is 0x0
>> TBOOT: verifying ILP's MSR_IA32_SMM_MONITOR_CTL with cpu 3
>> : succeeded.
>> TBOOT: enabling SMIs on cpu 3
>> TBOOT: VMXON done for cpu 3
>> TBOOT: launching mini-guest for cpu 3
>> TBOOT: cpu 1 waking up from TXT sleep
>> TBOOT: MSR for SMM monitor control on cpu 1 is 0x0
>> TBOOT: .verifying ILP's MSR_IA32_SMM_MONITOR_CTL with cpu 1
>> . : succeeded.
>> TBOOT: .enabling SMIs on cpu 1
>> TBOOT: .VMXON done for cpu 1
>> TBOOT: .launching mini-guest for cpu 1
>> TBOOT: .
>> TBOOT: all APs in wait-for-sipi
>> TBOOT: saved IA32_MISC_ENABLE = 0x00850088
>> TBOOT: set LT.CMD.SECRETS flag
>> TBOOT: opened TPM locality 1
>> TBOOT: DMAR table @ 0xbabe1000 saved.
>> TBOOT: no LCP module found
>> TBOOT: verifying module 0 of mbi (103000 - 27510b) in e820 table
>> (range from 0000000000103000 to 000000000027510c is in
>> E820_RAM)
>> TBOOT: : succeeded.
>> TBOOT: verifying module 1 of mbi (276000 - 68d9df) in e820 table
>> (range from 0000000000276000 to 000000000068d9e0 is in
>> E820_RAM)
>> TBOOT: : succeeded.
>> TBOOT: verifying module 2 of mbi (87e000 - 33101ff) in e820 table
>> (range from 000000000087e000 to 0000000003310200 is in
>> E820_RAM)
>> TBOOT: : succeeded.
>> TBOOT: protecting TXT heap (baf20000 - baffffff) in e820 table
>> TBOOT: protecting SINIT (baf00000 - baf1ffff) in e820 table
>> TBOOT: protecting TXT Private Space (fed20000 - fed2ffff) in e820 table
>> TBOOT: verifying e820 table against SINIT MDRs: verification succeeded.
>> TBOOT: verifying tboot and its page table (800000 - 87de5f) in e820 table
>> (range from 0000000000800000 to 000000000087de60 is in
>> E820_RAM)
>> TBOOT: : succeeded.
>> TBOOT: protecting tboot (800000 - 87dfff) in e820 table
>> TBOOT: adjusted e820 map:
>> TBOOT: 0000000000000000 - 000000000009d800 (1)
>> TBOOT: 000000000009d800 - 00000000000a0000 (2)
>> TBOOT: 00000000000e0000 - 0000000000100000 (2)
>> TBOOT: 0000000000100000 - 0000000000800000 (1)
>> TBOOT: 0000000000800000 - 000000000087e000 (5)
>> TBOOT: 000000000087e000 - 0000000000f00000 (1)
>> TBOOT: 0000000000f00000 - 0000000001000000 (2)
>> TBOOT: 0000000001000000 - 00000000ba59f000 (1)
>> TBOOT: 00000000ba59f000 - 00000000baa9f000 (2)
>> TBOOT: 00000000baa9f000 - 00000000bab9f000 (4)
>> TBOOT: 00000000bab9f000 - 00000000babff000 (3)
>> TBOOT: 00000000babff000 - 00000000bac00000 (1)
>> TBOOT: 00000000bac00000 - 00000000baf00000 (2)
>> TBOOT: 00000000baf00000 - 00000000baf20000 (2)
>> TBOOT: 00000000baf20000 - 00000000bb000000 (2)
>> TBOOT: 00000000bb000000 - 00000000bfa00000 (2)
>> TBOOT: 00000000f8000000 - 00000000fc000000 (2)
>> TBOOT: 00000000fec00000 - 00000000fec01000 (2)
>> TBOOT: 00000000fed08000 - 00000000fed09000 (2)
>> TBOOT: 00000000fed10000 - 00000000fed1a000 (2)
>> TBOOT: 00000000fed1c000 - 00000000fed20000 (2)
>> TBOOT: 00000000fed20000 - 00000000fed30000 (2)
>> TBOOT: 00000000fee00000 - 00000000fee01000 (2)
>> TBOOT: 00000000ffd20000 - 0000000100000000 (2)
>> TBOOT: 0000000100000000 - 000000013e600000 (1)
>> TBOOT: verifying module "com1=115200,8n1,magic console=com1
>> iommu=required dom0_mem=1024MB cpufreq=xen cpuidle
>> earlyprintk=xenboot
>> loglvl=all"...
>> TBOOT: OK : d9 b0 09 b5 e2 ff 12 17 a3 80 c5 f6 fd 05 0c 03 8f 36 2e dd
>> TBOOT: verifying module "root=/dev/mapper/NxVG-NxDisk6 ro quiet splash
>> xencons=tty console=hvc0"...
>> TBOOT: OK : 6f 47 e2 56 a4 f9 cf 82 77 ab c4 55 28 78 c3 0d a1 83 18 11
>> TBOOT: verifying module ""...
>> TBOOT: OK : 65 28 5f 70 c7 e8 ba e1 ee 8b d1 1a c3 9c f5 63 a0 5f d6 30
>> TBOOT: all modules are verified
>> TBOOT: pre_k_s3_state:
>> TBOOT: vtd_pmr_lo_base: 0x0
>> TBOOT: vtd_pmr_lo_size: 0xbac00000
>> TBOOT: vtd_pmr_hi_base: 0x100000000
>> TBOOT: vtd_pmr_hi_size: 0x3e600000
>> TBOOT: pol_hash: 14 c8 20 da 3e eb ae b2 78 d8 7f a7 15 88 8f 53 d7 b4 36
>> 8c
>> TBOOT: VL measurements:
>> TBOOT: PCR 17: 20 a4 55 4e 39 52 46 c6 46 d6 f1 92 cf 58 52 88 7f fd d0 07
>> TBOOT: PCR 18: d9 b0 09 b5 e2 ff 12 17 a3 80 c5 f6 fd 05 0c 03 8f 36 2e dd
>> TBOOT: PCRs before extending:
>> TBOOT: PCR 17: cf 48 95 86 8b 40 18 3e 6e 41 9c ad 15 ed 26 6a bd e2 24 e2
>> TBOOT: PCR 18: 37 97 eb ca 1f cc d6 5e 6d dd 42 8c a0 61 e0 f3 b6 e1 d6 86
>> TBOOT: PCRs after extending:
>> TBOOT: PCR 17: 55 a5 67 d8 aa 40 30 d2 f4 2f 96 bf 41 5e d7 77 43 3b a8 e7
>> TBOOT: PCR 18: 18 66 e8 52 fd dd 0f ba 50 b9 b3 da 4e fa 4e bf 17 2d 7c bb
>> TBOOT: tboot_shared data:
>> TBOOT: version: 5
>> TBOOT: log_addr: 0x00000000
>> TBOOT: shutdown_entry: 0x008031b0
>> TBOOT: shutdown_type: 0
>> TBOOT: tboot_base: 0x00803000
>> TBOOT: tboot_size: 0x7ae60
>> TBOOT: num_in_wfs: 3
>> TBOOT: no LCP module found
>> TBOOT: kernel is ELF format
>> TBOOT: i=0
>> TBOOT: elf = 0x825f2c
>> TBOOT: elf.e_phnum = 0x1
>> TBOOT: elf.p_phentsize = 0x20
>> TBOOT: elf.p_phoff = 0x34
>> TBOOT: ph.p_filesz = 0x172000
>> TBOOT: ph.p_memsz = 0x2b8000
>> TBOOT: ph.p_addr = 0x100000
>> TBOOT: ph.p_offset = 0x80
>> TBOOT: transfering control to kernel @0x48000000...
>> TBOOT: ******************* TBOOT *******************
>> TBOOT: 2011-07-06 08:00 -0400 1:17221ef98ed6
>> TBOOT: *********************************************
>> TBOOT: command line: serial=115200,8n1,0x4000,19
>> TBOOT: BSP is cpu 0
>> TBOOT: original e820 map:
>> TBOOT: 0000000000000000 - 000000000009d800 (1)
>> TBOOT: 000000000009d800 - 00000000000a0000 (2)
>> TBOOT: 00000000000e0000 - 0000000000100000 (2)
>> TBOOT: 0000000000100000 - 00000000ba59f000 (1)
>> TBOOT: 00000000ba59f000 - 00000000baa9f000 (2)
>> TBOOT: 00000000baa9f000 - 00000000bab9f000 (4)
>> TBOOT: 00000000bab9f000 - 00000000babff000 (3)
>> TBOOT: 00000000babff000 - 00000000bac00000 (1)
>> TBOOT: 00000000bac00000 - 00000000bfa00000 (2)
>> TBOOT: 00000000f8000000 - 00000000fc000000 (2)
>> TBOOT: 00000000fec00000 - 00000000fec01000 (2)
>> TBOOT: 00000000fed08000 - 00000000fed09000 (2)
>> TBOOT: 00000000fed10000 - 00000000fed1a000 (2)
>> TBOOT: 00000000fed1c000 - 00000000fed20000 (2)
>> TBOOT: 00000000fee00000 - 00000000fee01000 (2)
>> TBOOT: 00000000ffd20000 - 0000000100000000 (2)
>> TBOOT: 0000000100000000 - 000000013e600000 (1)
>> TBOOT: TPM is ready
>> TBOOT: TPM nv_locked: TRUE
>> TBOOT: TPM timeout values: A: 750, B: 750, C: 750, D: 750
>> TBOOT: reading Verified Launch Policy from TPM NV...
>> TBOOT: :512 bytes read
>> TBOOT: policy:
>> TBOOT: version: 2
>> TBOOT: policy_type: TB_POLTYPE_HALT
>> TBOOT: hash_alg: TB_HALG_SHA1
>> TBOOT: policy_control: 00000001 (EXTEND_PCR17)
>> TBOOT: num_entries: 1
>> TBOOT: policy entry[0]:
>> TBOOT: mod_num: any
>> TBOOT: pcr: none
>> TBOOT: hash_type: TB_HTYPE_ANY
>> TBOOT: num_hashes: 0
>> TBOOT: IA32_FEATURE_CONTROL_MSR: 0000ff07
>> TBOOT: CPU is SMX-capable
>> TBOOT: CPU is VMX-capable
>> TBOOT: SMX is enabled
>> TBOOT: TXT chipset and all needed capabilities present
>> TBOOT: TXT.ERRORCODE=0
>> TBOOT: LT.ESTS=0
>> TBOOT: IA32_FEATURE_CONTROL_MSR: 0000ff07
>> TBOOT: CPU is SMX-capable
>> TBOOT: CPU is VMX-capable
>> TBOOT: SMX is enabled
>> TBOOT: TXT chipset and all needed capabilities present
>> TBOOT: unsupported BIOS data version (4)
>> TBOOT: bios_data (@0xbaf20008, 0x56):
>> TBOOT: version: 4
>> TBOOT: bios_sinit_size: 0x0 (0)
>> TBOOT: lcp_pd_base: 0x0
>> TBOOT: lcp_pd_size: 0x0 (0)
>> TBOOT: num_logical_procs: 4
>> TBOOT: flags: 0x00000000
>> TBOOT: CR0 and EFLAGS OK
>> TBOOT: supports preserving machine check errors
>> TBOOT: CPU is ready for SENTER
>> TBOOT: disabling legacy USB SMIs
>> TBOOT: checking previous errors on the last boot.
>> last boot has error.
>> TBOOT: chipset ids: vendor: 0x8086, device: 0xb001, revision: 0x1
>> TBOOT: chipset production fused: 1
>> TBOOT: checking if module is an SINIT for this platform...
>> TBOOT: ACM info_table version mismatch (4)
>> TBOOT: 1 ACM chipset id entries:
>> TBOOT: vendor: 0x8086, device: 0xb001, flags: 0x1, revision:
>> 0x1, extended: 0x0
>> TBOOT: SINIT matches platform
>> TBOOT: copied SINIT (size=c000) to 0xbaf00000
>> TBOOT: AC mod base alignment OK
>> TBOOT: AC mod size OK
>> TBOOT: AC module header dump for SINIT:
>> TBOOT: type: 0x2 (ACM_TYPE_CHIPSET)
>> TBOOT: length: 0xa1 (161)
>> TBOOT: version: 0
>> TBOOT: chipset_id: 0xb001
>> TBOOT: flags: 0x0
>> TBOOT: pre_production: 0
>> TBOOT: debug_signed: 0
>> TBOOT: vendor: 0x8086
>> TBOOT: date: 0x20110506
>> TBOOT: size*4: 0xc000 (49152)
>> TBOOT: code_control: 0x0
>> TBOOT: entry point: 0x00000008:000034ce
>> TBOOT: scratch_size: 0x8f (143)
>> TBOOT: info_table:
>> TBOOT: uuid: {0x7fc03aaa, 0x46a7, 0x18db, 0xac2e,
>> {0x69, 0x8f, 0x8d, 0x41, 0x7f, 0x5a}}
>> TBOOT: ACM_UUID_V3
>> TBOOT: chipset_acm_type: 0x1 (SINIT)
>> TBOOT: version: 4
>> TBOOT: length: 0x2c (44)
>> TBOOT: chipset_id_list: 0x4ec
>> TBOOT: os_sinit_data_ver: 0x5
>> TBOOT: min_mle_hdr_ver: 0x00020000
>> TBOOT: capabilities: 0x0000000e
>> TBOOT: rlp_wake_getsec: 0
>> TBOOT: rlp_wake_monitor: 1
>> TBOOT: ecx_pgtbl: 1
>> TBOOT: acm_ver: 19
>> TBOOT: chipset list:
>> TBOOT: count: 1
>> TBOOT: entry 0:
>> TBOOT: flags: 0x1
>> TBOOT: vendor_id: 0x8086
>> TBOOT: device_id: 0xb001
>> TBOOT: revision_id: 0x1
>> TBOOT: extended_id: 0x0
>> TBOOT: file addresses:
>> TBOOT: &_start=0x803000
>> TBOOT: &_end=0x87de60
>> TBOOT: &_mle_start=0x803000
>> TBOOT: &_mle_end=0x822000
>> TBOOT: &_post_launch_entry=0x803020
>> TBOOT: &_txt_wakeup=0x8031f0
>> TBOOT: &g_mle_hdr=0x818980
>> TBOOT: MLE header:
>> TBOOT: uuid={0x9082ac5a, 0x476f, 0x74a7, 0x5c0f,
>> {0x55, 0xa2, 0xcb, 0x51, 0xb6, 0x42}}
>> TBOOT: length=34
>> TBOOT: version=00020001
>> TBOOT: entry_point=00000020
>> TBOOT: first_valid_page=00000000
>> TBOOT: mle_start_off=0
>> TBOOT: mle_end_off=1f000
>> TBOOT: capabilities: 0x00000007
>> TBOOT: rlp_wake_getsec: 1
>> TBOOT: rlp_wake_monitor: 1
>> TBOOT: ecx_pgtbl: 1
>> TBOOT: MLE start=803000, end=822000, size=1f000
>> TBOOT: ptab_size=3000, ptab_base=0x800000
>> TBOOT: unsupported BIOS data version (4)
>> TBOOT: bios_data (@0xbaf20008, 0x56):
>> TBOOT: version: 4
>> TBOOT: bios_sinit_size: 0x0 (0)
>> TBOOT: lcp_pd_base: 0x0
>> TBOOT: lcp_pd_size: 0x0 (0)
>> TBOOT: num_logical_procs: 4
>> TBOOT: flags: 0x00000000
>> TBOOT: min_lo_ram: 0x0, max_lo_ram: 0xbac00000
>> TBOOT: min_hi_ram: 0x100000000, max_hi_ram: 0x13e600000
>> TBOOT: no LCP module found
>> TBOOT: os_sinit_data (@0xbaf3017e, 0x64):
>> TBOOT: version: 5
>> TBOOT: mle_ptab: 0x800000
>> TBOOT: mle_size: 0x1f000 (126976)
>> TBOOT: mle_hdr_base: 0x15980
>> TBOOT: vtd_pmr_lo_base: 0x0
>> TBOOT: vtd_pmr_lo_size: 0xbac00000
>> TBOOT: vtd_pmr_hi_base: 0x100000000
>> TBOOT: vtd_pmr_hi_size: 0x3e600000
>> TBOOT: lcp_po_base: 0x0
>> TBOOT: lcp_po_size: 0x0 (0)
>> TBOOT: capabilities: 0x00000002
>> TBOOT: rlp_wake_getsec: 0
>> TBOOT: rlp_wake_monitor: 1
>> TBOOT: ecx_pgtbl: 0
>> TBOOT: efi_rsdt_ptr: 0x0
>> TBOOT: setting MTRRs for acmod: base=0xbaf00000, size=0xc000,
>> num_pages=12
>> TBOOT: executing GETSEC[SENTER]...
>> TBOOT: ******************* TBOOT *******************
>> TBOOT: 2011-07-06 08:00 -0400 1:17221ef98ed6
>> TBOOT: *********************************************
>> TBOOT: command line: serial=115200,8n1,0x4000,19
>> TBOOT: BSP is cpu 0
>> TBOOT: original e820 map:
>> TBOOT: 0000000000000000 - 000000000009d800 (1)
>> TBOOT: 000000000009d800 - 00000000000a0000 (2)
>> TBOOT: 00000000000e0000 - 0000000000100000 (2)
>> TBOOT: 0000000000100000 - 00000000ba59f000 (1)
>> TBOOT: 00000000ba59f000 - 00000000baa9f000 (2)
>> TBOOT: 00000000baa9f000 - 00000000bab9f000 (4)
>> TBOOT: 00000000bab9f000 - 00000000babff000 (3)
>> TBOOT: 00000000babff000 - 00000000bac00000 (1)
>> TBOOT: 00000000bac00000 - 00000000bfa00000 (2)
>> TBOOT: 00000000f8000000 - 00000000fc000000 (2)
>> TBOOT: 00000000fec00000 - 00000000fec01000 (2)
>> TBOOT: 00000000fed08000 - 00000000fed09000 (2)
>> TBOOT: 00000000fed10000 - 00000000fed1a000 (2)
>> TBOOT: 00000000fed1c000 - 00000000fed20000 (2)
>> TBOOT: 00000000fee00000 - 00000000fee01000 (2)
>> TBOOT: 00000000ffd20000 - 0000000100000000 (2)
>> TBOOT: 0000000100000000 - 000000013e600000 (1)
>> TBOOT: TPM is ready
>> TBOOT: TPM nv_locked: TRUE
>> TBOOT: TPM timeout values: A: 750, B: 750, C: 750, D: 750
>> TBOOT: reading Verified Launch Policy from TPM NV...
>> TBOOT: :512 bytes read
>> TBOOT: policy:
>> TBOOT: version: 2
>> TBOOT: policy_type: TB_POLTYPE_HALT
>> TBOOT: hash_alg: TB_HALG_SHA1
>> TBOOT: policy_control: 00000001 (EXTEND_PCR17)
>> TBOOT: num_entries: 1
>> TBOOT: policy entry[0]:
>> TBOOT: mod_num: any
>> TBOOT: pcr: none
>> TBOOT: hash_type: TB_HTYPE_ANY
>> TBOOT: num_hashes: 0
>> TBOOT: IA32_FEATURE_CONTROL_MSR: 0000ff07
>> TBOOT: CPU is SMX-capable
>> TBOOT: CPU is VMX-capable
>> TBOOT: SMX is enabled
>> TBOOT: TXT chipset and all needed capabilities present
>> TBOOT: TXT.ERRORCODE=c0000001
>> TBOOT: AC module error : acm_type=1, progress=00, error=0
>> TBOOT: LT.ESTS=0
>> TBOOT: IA32_FEATURE_CONTROL_MSR: 0000ff07
>> TBOOT: CPU is SMX-capable
>> TBOOT: CPU is VMX-capable
>> TBOOT: SMX is enabled
>> TBOOT: TXT chipset and all needed capabilities present
>> TBOOT: unsupported BIOS data version (4)
>> TBOOT: bios_data (@0xbaf20008, 0x56):
>> TBOOT: version: 4
>> TBOOT: bios_sinit_size: 0x0 (0)
>> TBOOT: lcp_pd_base: 0x0
>> TBOOT: lcp_pd_size: 0x0 (0)
>> TBOOT: num_logical_procs: 4
>> TBOOT: flags: 0x00000000
>> TBOOT: measured launch succeeded
>> TBOOT: unsupported BIOS data version (4)
>> TBOOT: bios_data (@0xbaf20008, 0x56):
>> TBOOT: version: 4
>> TBOOT: bios_sinit_size: 0x0 (0)
>> TBOOT: lcp_pd_base: 0x0
>> TBOOT: lcp_pd_size: 0x0 (0)
>> TBOOT: num_logical_procs: 4
>> TBOOT: flags: 0x00000000
>> TBOOT: os_mle_data (@0xbaf2005e, 0x10120):
>> TBOOT: version: 2
>> TBOOT: mbi: 0x275110
>> TBOOT: os_sinit_data (@0xbaf3017e, 0x64):
>> TBOOT: version: 5
>> TBOOT: mle_ptab: 0x800000
>> TBOOT: mle_size: 0x1f000 (126976)
>> TBOOT: mle_hdr_base: 0x15980
>> TBOOT: vtd_pmr_lo_base: 0x0
>> TBOOT: vtd_pmr_lo_size: 0xbac00000
>> TBOOT: vtd_pmr_hi_base: 0x100000000
>> TBOOT: vtd_pmr_hi_size: 0x3e600000
>> TBOOT: lcp_po_base: 0x0
>> TBOOT: lcp_po_size: 0x0 (0)
>> TBOOT: capabilities: 0x00000002
>> TBOOT: rlp_wake_getsec: 0
>> TBOOT: rlp_wake_monitor: 1
>> TBOOT: ecx_pgtbl: 0
>> TBOOT: efi_rsdt_ptr: 0x0
>> TBOOT: sinit_mle_data (@0xbaf301e2, 0x22c):
>> TBOOT: version: 8
>> TBOOT: bios_acm_id:
>> 80 00 00 00 20 10 10 22 00 00 b0 01 ff ff ff ff ff ff ff ff
>> TBOOT: edx_senter_flags: 0x00000000
>> TBOOT: mseg_valid: 0x0
>> TBOOT: sinit_hash:
>> 10 2c 49 2f 97 29 1d e6 c1 79 59 18 08 0a 1f 54 24 7f e1 2c
>> TBOOT: mle_hash:
>> ef c3 94 df 2d 87 e0 00 78 0c ae 06 6b 77 4f dd f7 98 bb cf
>> TBOOT: stm_hash:
>> 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
>> TBOOT: lcp_policy_hash:
>> 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00
>> TBOOT: lcp_policy_control: 0x00000000
>> TBOOT: rlp_wakeup_addr: 0xbaf01a20
>> TBOOT: num_mdrs: 7
>> TBOOT: mdrs_off: 0x9c
>> TBOOT: num_vtd_dmars: 232
>> TBOOT: vtd_dmars_off: 0x144
>> TBOOT: sinit_mdrs:
>> TBOOT: 0000000000000000 - 00000000000a0000 (GOOD)
>> TBOOT: 0000000000100000 - 0000000000f00000 (GOOD)
>> TBOOT: 0000000001000000 - 00000000baf00000 (GOOD)
>> TBOOT: 0000000000000000 - 0000000000000000 (GOOD)
>> TBOOT: 0000000100000000 - 000000013e600000 (GOOD)
>> TBOOT: 00000000bb000000 - 00000000bb800000 (SMRAM
>> NON-OVERLAY)
>> TBOOT: 00000000f8000000 - 00000000fc000000 (PCIE EXTENDED
>> CONFIG)
>> TBOOT: proc_scrtm_status: 0x00000000
>> TBOOT: RSDP (v2, LENOVO �$) @ 0x0f00e0
>> TBOOT: acpi_table_ioapic @ 0xbabe706c, .address = 0xfec00000
>> TBOOT: acpi_table_mcfg @ 0xbabe6000, .base_address = 0xf8000000
>> TBOOT: mtrr_def_type: e = 1, fe = 1, type = 0
>> TBOOT: mtrrs:
>> TBOOT: base mask type v
>> TBOOT: 0ffc00 fffc00 05 01
>> TBOOT: 000000 f80000 06 01
>> TBOOT: 080000 fc0000 06 01
>> TBOOT: 0bc000 ffc000 00 01
>> TBOOT: 0bb000 fff000 00 01
>> TBOOT: 0bac00 fffc00 00 01
>> TBOOT: 100000 fc0000 06 01
>> TBOOT: 13f000 fff000 00 01
>> TBOOT: 13e800 fff800 00 01
>> TBOOT: 13e600 fffe00 00 01
>> TBOOT: min_lo_ram: 0x0, max_lo_ram: 0xbac00000
>> TBOOT: min_hi_ram: 0x100000000, max_hi_ram: 0x13e600000
>> TBOOT: MSR for SMM monitor control on BSP is 0x0.
>> TBOOT: verifying ILP is opt-out or has the same MSEG header with
>> TXT.MSEG.BASE
>> opt-out
>> TBOOT: : succeeded.
>> TBOOT: enabling SMIs on BSP
>> TBOOT: mle_join.entry_point = 8031f0
>> TBOOT: mle_join.seg_sel = 8
>> TBOOT: mle_join.gdt_base = 804000
>> TBOOT: mle_join.gdt_limit = 3f
>> TBOOT: joining RLPs to MLE with MONITOR wakeup
>> TBOOT: rlp_wakeup_addr = 0xbaf01a20
>> TBOOT: cpu 3 waking up from TXT sleep
>> TBOOT: waiting for all APs (3) to enter wait-for-sipi...
>> TBOOT: MSR for SMM monitor control on cpu 3 is 0x0
>> TBOOT: verifying ILP's MSR_IA32_SMM_MONITOR_CTL with cpu 3
>> : succeeded.
>> TBOOT: enabling SMIs on cpu 3
>> TBOOT: .VMXON done for cpu 3
>> TBOOT:
>> TBOOT: launching mini-guest for cpu 3
>> TBOOT: cpu 2 waking up from TXT sleep
>> TBOOT: MSR for SMM monitor control on cpu 2 is 0x0
>> TBOOT: verifying ILP's MSR_IA32_SMM_MONITOR_CTL with cpu 2
>> : succeeded.
>> TBOOT: enabling SMIs on cpu 2
>> TBOOT: VMXON done for cpu 2
>> TBOOT: launching mini-guest for cpu 2
>> TBOOT: cpu 1 waking up from TXT sleep
>> TBOOT: MSR for SMM monitor control on cpu 1 is 0x0
>> TBOOT: .verifying ILP's MSR_IA32_SMM_MONITOR_CTL with cpu 1
>> . : succeeded.
>> TBOOT: .enabling SMIs on cpu 1
>> TBOOT: .VMXON done for cpu 1
>> TBOOT: .launching mini-guest for cpu 1
>> TBOOT: .
>> TBOOT: all APs in wait-for-sipi
>> TBOOT: saved IA32_MISC_ENABLE = 0x00850088
>> TBOOT: set LT.CMD.SECRETS flag
>> TBOOT: opened TPM locality 1
>> TBOOT: DMAR table @ 0xbabe1000 saved.
>> TBOOT: no LCP module found
>> TBOOT: verifying module 0 of mbi (103000 - 27510b) in e820 table
>> (range from 0000000000103000 to 000000000027510c is in
>> E820_RAM)
>> TBOOT: : succeeded.
>> TBOOT: verifying module 1 of mbi (276000 - 68d9df) in e820 table
>> (range from 0000000000276000 to 000000000068d9e0 is in
>> E820_RAM)
>> TBOOT: : succeeded.
>> TBOOT: verifying module 2 of mbi (87e000 - 33101ff) in e820 table
>> (range from 000000000087e000 to 0000000003310200 is in
>> E820_RAM)
>> TBOOT: : succeeded.
>> TBOOT: protecting TXT heap (baf20000 - baffffff) in e820 table
>> TBOOT: protecting SINIT (baf00000 - baf1ffff) in e820 table
>> TBOOT: protecting TXT Private Space (fed20000 - fed2ffff) in e820 table
>> TBOOT: verifying e820 table against SINIT MDRs: verification succeeded.
>> TBOOT: verifying tboot and its page table (800000 - 87de5f) in e820 table
>> (range from 0000000000800000 to 000000000087de60 is in
>> E820_RAM)
>> TBOOT: : succeeded.
>> TBOOT: protecting tboot (800000 - 87dfff) in e820 table
>> TBOOT: adjusted e820 map:
>> TBOOT: 0000000000000000 - 000000000009d800 (1)
>> TBOOT: 000000000009d800 - 00000000000a0000 (2)
>> TBOOT: 00000000000e0000 - 0000000000100000 (2)
>> TBOOT: 0000000000100000 - 0000000000800000 (1)
>> TBOOT: 0000000000800000 - 000000000087e000 (5)
>> TBOOT: 000000000087e000 - 0000000000f00000 (1)
>> TBOOT: 0000000000f00000 - 0000000001000000 (2)
>> TBOOT: 0000000001000000 - 00000000ba59f000 (1)
>> TBOOT: 00000000ba59f000 - 00000000baa9f000 (2)
>> TBOOT: 00000000baa9f000 - 00000000bab9f000 (4)
>> TBOOT: 00000000bab9f000 - 00000000babff000 (3)
>> TBOOT: 00000000babff000 - 00000000bac00000 (1)
>> TBOOT: 00000000bac00000 - 00000000baf00000 (2)
>> TBOOT: 00000000baf00000 - 00000000baf20000 (2)
>> TBOOT: 00000000baf20000 - 00000000bb000000 (2)
>> TBOOT: 00000000bb000000 - 00000000bfa00000 (2)
>> TBOOT: 00000000f8000000 - 00000000fc000000 (2)
>> TBOOT: 00000000fec00000 - 00000000fec01000 (2)
>> TBOOT: 00000000fed08000 - 00000000fed09000 (2)
>> TBOOT: 00000000fed10000 - 00000000fed1a000 (2)
>> TBOOT: 00000000fed1c000 - 00000000fed20000 (2)
>> TBOOT: 00000000fed20000 - 00000000fed30000 (2)
>> TBOOT: 00000000fee00000 - 00000000fee01000 (2)
>> TBOOT: 00000000ffd20000 - 0000000100000000 (2)
>> TBOOT: 0000000100000000 - 000000013e600000 (1)
>> TBOOT: verifying module "com1=115200,8n1,magic console=com1
>> iommu=required dom0_mem=1024MB cpufreq=xen cpuidle
>> earlyprintk=xenboot
>> loglvl=all"...
>> TBOOT: OK : d9 b0 09 b5 e2 ff 12 17 a3 80 c5 f6 fd 05 0c 03 8f 36 2e dd
>> TBOOT: verifying module "root=/dev/mapper/NxVG-NxDisk6 ro quiet splash
>> xencons=tty console=hvc0"...
>> TBOOT: OK : 6f 47 e2 56 a4 f9 cf 82 77 ab c4 55 28 78 c3 0d a1 83 18 11
>> TBOOT: verifying module ""...
>> TBOOT: OK : 65 28 5f 70 c7 e8 ba e1 ee 8b d1 1a c3 9c f5 63 a0 5f d6 30
>> TBOOT: all modules are verified
>> TBOOT: pre_k_s3_state:
>> TBOOT: vtd_pmr_lo_base: 0x0
>> TBOOT: vtd_pmr_lo_size: 0xbac00000
>> TBOOT: vtd_pmr_hi_base: 0x100000000
>> TBOOT: vtd_pmr_hi_size: 0x3e600000
>> TBOOT: pol_hash: 14 c8 20 da 3e eb ae b2 78 d8 7f a7 15 88 8f 53 d7 b4 36
>> 8c
>> TBOOT: VL measurements:
>> TBOOT: PCR 17: 20 a4 55 4e 39 52 46 c6 46 d6 f1 92 cf 58 52 88 7f fd d0 07
>> TBOOT: PCR 18: d9 b0 09 b5 e2 ff 12 17 a3 80 c5 f6 fd 05 0c 03 8f 36 2e dd
>> TBOOT: PCRs before extending:
>> TBOOT: PCR 17: cf 48 95 86 8b 40 18 3e 6e 41 9c ad 15 ed 26 6a bd e2 24 e2
>> TBOOT: PCR 18: 37 97 eb ca 1f cc d6 5e 6d dd 42 8c a0 61 e0 f3 b6 e1 d6 86
>> TBOOT: PCRs after extending:
>> TBOOT: PCR 17: 55 a5 67 d8 aa 40 30 d2 f4 2f 96 bf 41 5e d7 77 43 3b a8 e7
>> TBOOT: PCR 18: 18 66 e8 52 fd dd 0f ba 50 b9 b3 da 4e fa 4e bf 17 2d 7c bb
>> TBOOT: tboot_shared data:
>> TBOOT: version: 5
>> TBOOT: log_addr: 0x00000000
>> TBOOT: shutdown_entry: 0x008031b0
>> TBOOT: shutdown_type: 0
>> TBOOT: tboot_base: 0x00803000
>> TBOOT: tboot_size: 0x7ae60
>> TBOOT: num_in_wfs: 3
>> TBOOT: no LCP module found
>> TBOOT: kernel is ELF format
>> TBOOT: i=0
>> TBOOT: elf = 0x825f2c
>> TBOOT: elf.e_phnum = 0x1
>> TBOOT: elf.p_phentsize = 0x20
>> TBOOT: elf.p_phoff = 0x34
>> TBOOT: ph.p_filesz = 0x172000
>> TBOOT: ph.p_memsz = 0x2b8000
>> TBOOT: ph.p_addr = 0x100000
>> TBOOT: ph.p_offset = 0x80
>> TBOOT: transfering control to kernel @0x48000000...
>>
>> ------------------------------------------------------------------------------
>> All of the data generated in your IT infrastructure is seriously valuable.
>> Why? It contains a definitive record of application performance, security
>> threats, fraudulent activity, and more. Splunk takes this data and makes
>> sense of it. IT sense. And common sense.
>> http://p.sf.net/sfu/splunk-d2d-c2
>> _______________________________________________
>> tboot-devel mailing list
>> tbo...@li...
>> https://lists.sourceforge.net/lists/listinfo/tboot-devel
|