In-kernel TUX-module HOWTO (TUXAPI-kernel.txt)

It seems that this document is not up to date. It says that it is 
possible to register TUX trusted-API dynamic module by defining 
tcapi_template struct. But I can't see any calls to registered callbacks 
in kernel patch.

Can you provide any kind of hello world example ?

Regards,
Wojtek