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?
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
And here I was suspecting myself of looking for elitism for my thoughts of switching to some *BSD system
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?
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?