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 type

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!