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
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