[Trustedgrub-users] What tool used to view PCR contents and Verify PCR 13?

[TEH J. Y. <jy...@ya...>]

Dear Users,
I refer to the posting entitled "PCR 1,2,3,6,7 identical" by  chloé Fouquet <fouquet.chloe@gm...> - 2010-07-07 10:37 in this forum. Link is: http://sourceforge.net/mailarchive/forum.php?thread_name=AANLkTil7ew6ireqYnwAWUtS924oNyo1vV40nhTscx6XY%40mail.gmail.com&forum_name=trustedgrub-users
Can someone inform me what tool can be used to display the PCR contents as in her posting and how to display these values?
I had attempted to Generate a Trusted State sealed key using tpm_sealdata from tpm_tools 1.3.5 and wish to see if the key is sealed to PCR 4,8,9,12,14.
I am trying do achive this : http://publib.boulder.ibm.com/infocenter/lnxinfo/v3r0m0/index.jsp?topic=/liaai/tpm/liaaitpmstart.htm.
Further I am trying to ascertain if PCR 13 or 14 had been extended as per below :
root@jyteh-laptop-Vbox:/home/jyteh/Desktop/TrustedGRUB-1.1.4/TrustedGRUB-1.1.4/util# ./verify_pcr NULL /boot/vmlinuz-2.6.30-custom
*******************************************************************************
* Result for PCR: 73 69 8d 30 b3 80 eb b2 c0 59 04 22 a8 58 f9 7c e0 d8 90 51 *
*******************************************************************************

My sys details:
1. Ubuntu 9.04 running kernel 2.6.30 IMA enabled running as Guest OS in VirtualBox 3.1.6.2. TPM Emulator 0.6.1 3. TrustedGRUB 1.1.4 
Thanks in advance for kind help.
rgdsjyteh.