It will be interesting to see if those ARM-based "PCs" will be supported by other operating systems (think: Debian, OpenBSD), too.

Also, I am curious what types of devices we can expect. Something along the lines of a Raspberry Pi, but with more RAM and an SSD would be very nice!