> From: Jonathan McCune [mailto:jonmcc...@cmu.edu]
> Sent: Sunday, March 20, 2011 10:06 AM
>
> Hello,
>
> tboot-20101005 is rebooting at GETSEC[SENTER]. Here is information about the
> system:
>
> Laptop: Dell Latitude E6400 with BIOS rev A28 (latest available as of
> 2011.03.20). VT-d, VT-x,
Hello,
tboot-20101005 is rebooting at GETSEC[SENTER]. Here is information
about the system:
Laptop: Dell Latitude E6400 with BIOS rev A28 (latest available as of
2011.03.20). VT-d, VT-x, TXT, TPM are all enabled in BIOS.
SINIT: GM45_GS45_PM45_SINIT_21.BIN
tboot-20101005, both default and debug
