I'm interested in playing with LaGrande/TXT. I've read the book, although it's sort of confusing and probably out of date now. It seems clear to me that from a users perspective, messing around with the low level GETSEC instructions is the wrong way to go - I need drivers. Tboot appears to be that project.

From reading the archives though it seems that the hardware still isn't quite solid yet. Comments like "you are lucky" to somebody who actually got it to (sort of) work aren't reassuring :)

Does anybody know of a decently priced laptop that implements a known to work LaGrande setup? Including the protected graphics/keyboard channels?

Also, does anybody have some example code of launching an app[let] into a protected domain?

How far is there left to go, really?