yeah, but from what I read, it's quite difficult to jack the bootloader to load Linux, and the hardware looks like it's at the level of the OLPC, which is pretty much unusable. (keyboard-wise, not cpu-wise)
I don't know of anyone who uses these seriously and really, before I buy something where touch is as important as a laptop, I'd like to either try the keyboard in person or at least hear someone on the 'net describe it. (I mean, for that kind of money, I'll take some risk... but I'd like at least some evidence that they might not be complete crap.)