Hi,

I have a few questions about L4 and trusted platforms.

Are there any implementation of L4 which supports TSS 1.2 stack?
Are there any interfaces supplied by L4 to access TPM?
Are there any trusted platform application on L4?

Thanks in advance..

Best regards..
-- burak()
(ps: bf)
METU CENG '06