Hi Burak,
> I have a few questions about L4 and trusted platforms.
first: what do you want to do with L4 and TC?
> Are there any implementation of L4 which supports TSS 1.2 stack?
No. There are various reasons that there will never be a server on
L4 that provides a TSS interface, but of course you can port e.g.
Trousers to L4.
> Are there any interfaces supplied by L4 to access TPM?
There is a prototype server, which gives you a /dev/tpm like
interface. Unfortunately is this server not public until now.
> Are there any trusted platform application on L4?
Yes, we have some and we are currently working in the OpenTC project
to build some more.
Greetings,
Bernhard Kauer
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
