Gallium OS: a fast and lightweight Linux distro for ChromeOS devices | Hacker News Reader