this post was submitted on 30 Aug 2026
692 points (98.3% liked)
Linux
15107 readers
576 users here now
A community for everything relating to the GNU/Linux operating system (except the memes!)
Also, check out:
Original icon base courtesy of lewing@isc.tamu.edu and The GIMP
founded 3 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
the distro you like is enshitifying so you're switching to an OS with an even more permissive, business-friendly license, huh? why not find another GPL OS instead?
because I am not switching. another Linux project gives out some suspicious sounds, so I find myself thinking that moving to another OS altogether might turn out a good idea after all, besides the fun of learning something new
Is there another GPL OS instead? I am a fan of the GNU Hurd, but sadly I cannot run it on my hardware. The team of devs is really small, and it is amazing what they have done in all these years.
there is Gloire OS based on the Iron Clad kernel, partially formal proofed written mostly in Ada, their git repositories can be found in Codeberg, there is Genode OS which follows Qt style GPL with caveats, where one corporate entity sells commericial licenses, and holds full copyright through CLA
Are these usable on hardware, and daily drivable?
I don't know, never tried them even in a vms myself
Project is permissive. Company takes it and distributes binary. Nerds don't use it and look for the og, since the license forces the company to disclose that they just did that in a way or another. The end.
Project is copyleft. Company takes it and distributes source via GitHub file uploading a zip named after a date or some dumb shit. The original maintainer is now bullied into adapting the code. Sooner or later, the company now has influence over the project. Which is how we ended up with that Debian decision the top post is about, and with completely undocumented drivers right inside of the official Linux tree.