Based on our record, Gallium OS seems to be a lot more popular than Void Linux. While we know about 63 links to Gallium OS, we've tracked only 1 mention of Void Linux. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
Https://itsfoss.com/void-linux-crisis/, the main website voidlinux.eu has been taken by somone else and is now a spanish blog filled with BS and without https. Source: over 2 years ago
I literally did some web dev work on my Samsung Chromebook Series 5 550 (released 2012) last week. It's running linux[1] at this point (since it's EOL), and is a little slow, but it's still perfectly functional for running vscode and a local webserver. (As others have pointed out, browsing the reset of the bloated web is a pain, though) [1] https://galliumos.org/. - Source: Hacker News / 8 months ago
What exact model HTPC do you have? I found this so far.... Https://galliumos.org/. Source: 12 months ago
Rather than Ubuntu I would suggest galliumos[0] [0] https://galliumos.org/. - Source: Hacker News / about 1 year ago
I apologise in advance; I have no idea what is causing this issue with your Chromebook. I had hoped I could be of assistance, but I am unable to. I hope that whatever issue you were having with your Chromebook has been resolved. If you want to install Linux on your Chromebook, try GalliumOS. Source: about 1 year ago
Install RW Legacy Boot and load up a full Linux distro and just use your laptop like a Linux laptop. https://mrchromebox.tech/#home and https://galliumos.org/...getting way more janky and complicated now... Source: about 1 year ago
Arch Linux - You've reached the website for Arch Linux, a lightweight and flexible Linux® distribution that tries to Keep It Simple. Currently we have official packages optimized for the x86-64 architecture.
Crouton & Kali Linux - Using Crouton, it is possible to install a second operating system on your chromebook.
Gentoo - The website of Gentoo, a flexible Linux or BSD distribution.
Ubuntu - Ubuntu is a Debian Linux-based open source operating system for desktop computers.
Debian - Debian is a free distribution of the GNU/Linux operating system.
Slackware - Slackware Linux is an advanced Linux operating system, designed with the twin goals of ease of use...