Samsung's $250 ARM-powered Chromebook is famous for running multiple flavors of Linux, yet Google's flagship x86 Pixel is even more friendly to loading alternative operating systems than its predecessors.
Google chairman Eric Schmidt, along with former New Mexico governor Bill Richardson, has arrived in North Korea for the start of a two or three day visit.