Thanks! That was embarrassingly simple... (-;
As for my tboot issue, I added vga_delay=5 to the tboot
command line allowing me to read more of the diagnostic
output. On hard boot, tboot appears to find everything
in order and executes SENTER, and that's what causes a
soft reboot... Curiously.
The MLE Developers guide in on the Intel site. It is located at:
http://www.intel.com/content/www/us/en/software-developers/intel-txt-sof
tware-development-guide.html
The trick is to search for Measured Launch Environment (not MLE)
Developers Guide.
Hope this helps.
Charles
--
