I used the NDK described here:
http://gtvhacker.com/index.php/Logitech_Revue_Technical

I didn't have any luck with the official NDKr6.x86 (couldnt get it to statically link.). But I did not try with r6b yet.

And of course it works, that is how Better Terminal Emulator Pro is working on Google TV ...