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

range from 010 to 01033b9c is in E820_RAM

Page 16 highlights

TBOOT: 00000000fed1c000 - 00000000fed20000 (2) TBOOT: 00000000fee00000 - 00000000fee01000 (2) TBOOT: 00000000ffe80000 - 0000000100000000 (2) TBOOT: verifying module 0 of mbi (1035000 - 1113753) in e820 table (range from 0000000001035000 to 0000000001113754 is in E820_RAM) TBOOT: : succeeded. TBOOT: verifying module 1 of mbi (1114000 - 18461bf) in e820 table (range from 0000000001114000 to 00000000018461c0 is in E820_RAM) TBOOT: : succeeded. TBOOT: verifying module 2 of mbi (1847000 - 204d3ff) in e820 table (range from 0000000001847000 to 000000000204d400 is in E820_RAM) TBOOT: : succeeded. TBOOT: protecting TXT heap (3aa20000 - 3aafffff) in e820 table TBOOT: protecting SINIT (3aa00000 - 3aa1ffff) in e820 table TBOOT: verifying e820 table against SINIT MDRs: verification succeeded. TBOOT: protecting TXT Private Space (fed20000 - fed2ffff) in e820 table TBOOT: TPM: write nv 20000002, offset 00000000, 00000004 bytes, return = 00000002 TBOOT: verifying tboot and its page table (1000000 - 1033b9b) in e820 table (range from 0000000001000000 to 0000000001033b9c is in E820_RAM) TBOOT: : succeeded. TBOOT: protecting tboot (1000000 - 1033b9b) in e820 table TBOOT: protecting MLE/kernel shared (101c000 - 101cfff) in e820 table TBOOT: adjusted e820 map: TBOOT: 0000000000000000 - 000000000009fc00 (1) TBOOT: 000000000009fc00 - 00000000000a0000 (2) TBOOT: 00000000000ef000 - 0000000000100000 (2) TBOOT: 0000000000100000 - 0000000001000000 (1) TBOOT: 0000000001000000 - 000000000101c000 (5) TBOOT: 000000000101c000 - 000000000101d000 (5) TBOOT: 000000000101d000 - 0000000001033b9c (5) TBOOT: 0000000001033b9c - 0000000037899000 (1) TBOOT: 0000000037899000 - 000000003789b000 (2) TBOOT: 000000003789b000 - 00000000381d3000 (1) TBOOT: 00000000381d3000 - 00000000383d3000 (4) TBOOT: 00000000383d3000 - 000000003a570000 (1) TBOOT: 000000003a570000 - 000000003a580000 (4) TBOOT: 000000003a580000 - 000000003a693000 (1) TBOOT: 000000003a693000 - 000000003a69b000 (2) TBOOT: 000000003a69b000 - 000000003a6bf000 (1) TBOOT: 000000003a6bf000 - 000000003a6cf000 (2) TBOOT: 000000003a6cf000 - 000000003a7cf000 (4) TBOOT: 000000003a7cf000 - 000000003a7ff000 (3) TBOOT: 000000003a7ff000 - 000000003a800000 (1) 16

  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20

16
TBOOT:
00000000fed1c000 - 00000000fed20000
(2)
TBOOT:
00000000fee00000 - 00000000fee01000
(2)
TBOOT:
00000000ffe80000 - 0000000100000000
(2)
TBOOT: verifying module 0 of mbi (1035000 - 1113753) in e820 table
(range from 0000000001035000 to 0000000001113754 is in E820_RAM)
TBOOT: : succeeded.
TBOOT: verifying module 1 of mbi (1114000 - 18461bf) in e820 table
(range from 0000000001114000 to 00000000018461c0 is in E820_RAM)
TBOOT: : succeeded.
TBOOT: verifying module 2 of mbi (1847000 - 204d3ff) in e820 table
(range from 0000000001847000 to 000000000204d400 is in E820_RAM)
TBOOT: : succeeded.
TBOOT: protecting TXT heap (3aa20000 - 3aafffff) in e820 table
TBOOT: protecting SINIT (3aa00000 - 3aa1ffff) in e820 table
TBOOT: verifying e820 table against SINIT MDRs: verification succeeded.
TBOOT: protecting TXT Private Space (fed20000 - fed2ffff) in e820 table
TBOOT: TPM: write nv 20000002, offset 00000000, 00000004 bytes, return = 00000002
TBOOT: verifying tboot and its page table (1000000 - 1033b9b) in e820 table
(range from 0000000001000000 to 0000000001033b9c is in E820_RAM)
TBOOT: : succeeded.
TBOOT: protecting tboot (1000000 - 1033b9b) in e820 table
TBOOT: protecting MLE/kernel shared (101c000 - 101cfff) in e820 table
TBOOT: adjusted e820 map:
TBOOT:
0000000000000000 - 000000000009fc00
(1)
TBOOT:
000000000009fc00 - 00000000000a0000
(2)
TBOOT:
00000000000ef000 - 0000000000100000
(2)
TBOOT:
0000000000100000 - 0000000001000000
(1)
TBOOT:
0000000001000000 - 000000000101c000
(5)
TBOOT:
000000000101c000 - 000000000101d000
(5)
TBOOT:
000000000101d000 - 0000000001033b9c
(5)
TBOOT:
0000000001033b9c - 0000000037899000
(1)
TBOOT:
0000000037899000 - 000000003789b000
(2)
TBOOT:
000000003789b000 - 00000000381d3000
(1)
TBOOT:
00000000381d3000 - 00000000383d3000
(4)
TBOOT:
00000000383d3000 - 000000003a570000
(1)
TBOOT:
000000003a570000 - 000000003a580000
(4)
TBOOT:
000000003a580000 - 000000003a693000
(1)
TBOOT:
000000003a693000 - 000000003a69b000
(2)
TBOOT:
000000003a69b000 - 000000003a6bf000
(1)
TBOOT:
000000003a6bf000 - 000000003a6cf000
(2)
TBOOT:
000000003a6cf000 - 000000003a7cf000
(4)
TBOOT:
000000003a7cf000 - 000000003a7ff000
(3)
TBOOT:
000000003a7ff000 - 000000003a800000
(1)