TBOOT

What is TBOOT? It is the reference program from Intel for driving the Intel TXT hardware and starting a Measured Launch Environment (MLE). It lives here:

http://sourceforge.net/projects/tboot/

Serial Output

TBOOT will trace to serial output if the target system has a serial port. The default is to use the legacy COM1 port. The serial option is used on the TBOOT boot-loader command line. E.g. this is what the default for COM1 would look like:

serial=115200,8n1,0x3f8

PCI serial cards can also be used. In this case use lspci to find the I/O port resource for the device you want to use and set up the command line accordingly. The general form of the serial parameter is this:

serial=<baud>[/<clock_hz>][,<DPS>[,<io-base>[,<irq>[,<serial-bdf>[,<bridge-bdf>]]]]]

In most cases just baud,DPS,io-base are enough.