provectus comments on Debian developer Antoine Le Gonidec resigns after option allowing corporate LLM use without disclosure wins vote

[–] provectus@lemmy.ml 1 point 2 months ago (3 children)

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.

permalink

fedilink

source

parent

hideshow 3 child comments

[–] protogen420@lemmy.blahaj.zone 1 point 2 months ago (2 children)

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

permalink

fedilink

source

parent

hideshow 2 child comments

[–] provectus@lemmy.ml 1 point 2 months ago (1 child)

Are these usable on hardware, and daily drivable?

permalink

fedilink

source

parent

hideshow 1 child comment

[–] protogen420@lemmy.blahaj.zone 1 point 2 months ago

I don't know, never tried them even in a vms myself

permalink

fedilink

source

parent