Trusted Execution Technology and TBoot Implementation - White Paper
17
(range from 0000000001154000 to 00000000018ebe00 is in E820_RAM)
TBOOT: : succeeded.
TBOOT: verifying module 3 of mbi (18ec000 - 18f45bf) in e820 table
(range from 00000000018ec000 to 00000000018f45c0 is in E820_RAM)
TBOOT: : succeeded.
TBOOT: verifying module 4 of mbi (18f5000 - 18f504f) in e820 table
(range from 00000000018f5000 to 00000000018f5050 is in E820_RAM)
TBOOT: : succeeded.
TBOOT: protecting TXT heap (77720000 - 777fffff) in e820 table
TBOOT: protecting SINIT (77700000 - 7771ffff) in e820 table
TBOOT: protecting TXT Private Space (fed20000 - fed2ffff) in e820 table
TBOOT: verifying e820 table against SINIT MDRs: verification succeeded.
TBOOT: TPM: write nv 20000002, offset 00000000, 00000004 bytes, return = 00000002
TBOOT: Error: write TPM error: 0x2.
TBOOT: verifying tboot and its page table (800000 - 878c73) in e820 table
(range from 0000000000800000 to 0000000000878c74 is in E820_RAM)
TBOOT: : succeeded.
TBOOT: protecting tboot (800000 - 878fff) in e820 table
TBOOT: reserving tboot memory log (60000 - 67fff) in e820 table
TBOOT: adjusted e820 map:
TBOOT: 0000000000000000 - 0000000000060000 (1)
TBOOT: 0000000000060000 - 0000000000068000 (2)
TBOOT: 0000000000068000 - 000000000009fc00 (1)
TBOOT: 000000000009fc00 - 00000000000a0000 (2)
TBOOT: 00000000000ef000 - 0000000000100000 (2)
TBOOT: 0000000000100000 - 0000000000800000 (1)
TBOOT: 0000000000800000 - 0000000000879000 (5)
TBOOT: 0000000000879000 - 0000000000f00000 (1)
TBOOT: 0000000000f00000 - 0000000001000000 (2)
TBOOT: 0000000001000000 - 00000000771ab000 (1)
TBOOT: 00000000771ab000 - 00000000771b3000 (2)
TBOOT: 00000000771b3000 - 00000000771b9000 (1)
TBOOT: 00000000771b9000 - 0000000077229000 (2)
TBOOT: 0000000077229000 - 0000000077294000 (1)
TBOOT: 0000000077294000 - 000000007729a000 (2)
TBOOT: 000000007729a000 - 00000000772bf000 (1)
TBOOT: 00000000772bf000 - 00000000772cf000 (2)
TBOOT: 00000000772cf000 - 000000007730d000 (4)
TBOOT: 000000007730d000 - 000000007730e000 (3)
TBOOT: 000000007730e000 - 00000000773cf000 (4)
TBOOT: 00000000773cf000 - 00000000773ff000 (3)
TBOOT: 00000000773ff000 - 0000000077400000 (1)
TBOOT: 0000000077400000 - 0000000077700000 (2)










