TPM Emulator with L4Linux
Adam Lackorzynski
adam at os.inf.tu-dresden.de
Thu Aug 24 00:08:47 CEST 2006
On Wed Aug 23, 2006 at 20:07:39 +0200, Andreas Niederl wrote:
> 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?
No.
I had a quick glance over the source of the module and couldn't see
any reason why it should not work under L4Linux when it works under
Linux. It does work there?
Adam
--
Adam adam at os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
More information about the l4-hackers
mailing list