AlwaysInnovating Touch Book, via Linux Devices. Features a TI system-on-chip and a detachable display (the cpu, etc. is all contained behind the display, a la XO). Apparently they're shipping pre-orders. Shockingly, still some work to do on the Linux UI.
Later... oh, I forgot to mention that these are $400 with a keyboard and $300 without in a tablet configuration. Of course, if California was to buy one for every kid, what kind of volume discount do you think they could get?Also, we're really waiting for is a version with the Pixel Qi screen.