The littlest Chromebook: GPD Pocket gets an unofficial ChromiumOS port