10
TBOOT:      capabilities: 0x00000002 
TBOOT:          rlp_wake_getsec: 0 
TBOOT:          rlp_wake_monitor: 1 
TBOOT:      acm_ver: 16 
TBOOT:    chipset list: 
TBOOT:     count: 1 
TBOOT:      entry 0: 
TBOOT:          flags: 0x1 
TBOOT:          vendor_id: 0x8086 
TBOOT:          device_id: 0x9000 
TBOOT:          revision_id: 0x3f 
TBOOT:          extended_id: 0x0 
TBOOT: file addresses: 
TBOOT:    &_start=01003000 
TBOOT:    &_end=01033b9c 
TBOOT:    &_mle_start=01003000 
TBOOT:   &_mle_end=01019000 
TBOOT:   &__star t=01003020 
TBOOT:    &_txt_wakeup=01003120 
TBOOT:   &g_mle_hdr=01013e60 
TBOOT: MLE header: 
TBOOT:    uuid={0x9082ac5a, 0x476f, 0x74a7, 0x5c0f, 
    {0x55, 0xa2, 0xcb, 0x51, 0xb6, 0x42}} 
TBOOT:    length=2c 
TBOOT:    version=00020000 
TBOOT:    entry_point=00000020 
TBOOT:    first_valid_page=00000000 
TBOOT:    mle_start_off=0 
TBOOT:    mle_end_off=16000 
TBOOT:    capabilities: 0x00000003 
TBOOT:        rlp_wake_getsec: 1 
TBOOT:        rlp_wake_monitor: 1 
TBOOT: MLE start=1003000, end=1019000, size=16000 
TBOOT: ptab_size=3000, ptab_base=01000000 
TBOOT: bios_data (@3aa20008, 2c): 
TBOOT:    version: 3 
TBOOT:    bios_sinit_size: 0x0 (0) 
TBOOT:    lcp_pd_base: 0x0 
TBOOT:    lcp_pd_size: 0x0 (0) 
TBOOT:    num_logical_procs: 2 
TBOOT:    flags: 0x00000001 
TBOOT: max_ram=3a800000 
TBOOT: no LCP manifest found