$800 Linux-powered tablet PCs.