Re: [tpmdd-devel] [ANNOUNCE] 1.2 tpm driver

[Torsten L. <tl...@co...>]

On Mon, 2005-09-12 at 14:09 -0500, Kylene Jo Hall wrote:

> I find the ID of the device on your system you can follow these steps
> (please update everyone if you know of an easier way):
> 	1) cat /prco/acpi/dsdt > ~/dsdt.dat
> 	2) cd ~	
> 	3) isal -d dsdt.dat
> 	4) look fro TPM in the generated dsdt.dsl file.

Sorry, where can I find that isal command? I searched the whole Debian
archive but did not find it.

BTW: My notebook has a 1.1 TPM AFAICT so I wonder if support for pre-1.2
TPMs will be dropped.

Greetings

	Torsten

-- 
Torsten Landschoff
diploma student and debian developer 
Research Group Communication Systems
CAU Kiel, Institute of Computer Science and Applied Mathematics
Christian-Albrechts-Platz 4
D-24098 Kiel, Germany