Odroid might be a bit more popular than Void Linux. We know about 1 link to it since March 2021 and only 1 link to 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
If you are not so concerned about the pinouts, the ODROIDs are excellent and generally in stock if you buy them from hardkernel.com. They are similar prices but a bit more powerful, although some (such as the M1) are quite big. I ended up buying some ODROIDs as alternatives and they worked out ok where I didn't need a Pi camera or hat. In the future I'll probably move more towards ODROIDs because of the power and... Source: over 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.
Raspberry Pi - The Raspberry Pi is a tiny and affordable computer that you can use to learn programming through fun, practical projects. Join the global Raspberry Pi community.
Gentoo - The website of Gentoo, a flexible Linux or BSD distribution.
Orange Pi - It’s an open-source single-board computer. It can run Android 4.
Debian - Debian is a free distribution of the GNU/Linux operating system.
OLinuXino - Open Source Software and Open Source Hardware, low cost Linux Industrial grade single board...