Carsten Weinhold weinhold at
Thu Apr 3 12:21:47 CEST 2008

Am Donnerstag April 3 2008 schrieb ahmad kamal:

Hi Ahmad,

> if stpm server able to call tpmemulator, so far as i know it can only call
> physical TPM chip.

There is a STPM backend that can talk to a TPM emulator. However, this backend 
assumes that STPM is running on top Fiasco-UX and talks to the 'tpmd' daemon 
using sockets. In this case, tpmd runs next to Fiasco-UX on the Linux host 

We are also porting the TPM emulator such that it can run directly on top of 
L4, but this is work in progress in a very early stage.


More information about the l4-hackers mailing list