TPM Emulator with L4Linux

[Andreas Niederl]

Hi,
has anybody successfully used the TPM Emulator[1] module with L4Linux?

I have been trying using it with TrouSerS[2] but fail on starting tcsd 
with the following two errors (always one of them but never both at the 
same time):

gentoo-l4 TDDL[4480]: tddl.c:105 Calling write to driver
gentoo-l4 tpm_emulator tpm_emulator-0.4/./linux_module.c:113: Debug: 
tpm_ioctl(21505, 0808e500)
gentoo-l4 tpm_emulator tpm_emulator-0.4/tpm/tpm_cmd_handler.c:4156: 
Debug: tpm_handle_command()
gentoo-l4 tpm_emulator tpm_emulator-0.4/tpm/tpm_cmd_handler.c:3473: 
Info: The tag value sent to for a command (0x6564) is invalid
gentoo-l4 TCS[4480]: tcs_utils.c:260 ERROR: TCS GetCapability failed 
with result = 0x1e

and

gentoo-l4 TDDL[4483]: tddl.c:105 Calling write to driver
gentoo-l4 tpm_emulator tpm_emulator-0.4/./linux_module.c:113: Debug: 
tpm_ioctl(21505, 0808e500)
gentoo-l4 tpm_emulator tpm_emulator-0.4/tpm/tpm_cmd_handler.c:4156: 
Debug: tpm_handle_command()
gentoo-l4 tpm_emulator tpm_emulator-0.4/tpm/tpm_cmd_handler.c:4160: 
Error: tpm_unmarshal_TPM_REQUEST() failed
gentoo-l4 TDDL[4483]: tddl.c:148 ERROR: Zero bytes read from device /dev/tpm
gentoo-l4 TCS[4483]: tcs_utils.c:260 ERROR: TCS GetCapability failed 
with result = 0x1087

I guess that something is going wrong with the call to ioctl from tddl 
but wasn't able to figure it out yet.

Are there modifications necessary for using modules with L4Linux?


Regards,
Andi

[1] http://tpm-emulator.berlios.de/
[2] http://trousers.sourceforge.net/