this post was submitted on 06 May 2024
1 points (100.0% liked)

Linux

48190 readers
979 users here now

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word "Linux" in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

founded 5 years ago
MODERATORS
 

Very interesting and understandable explanations of low level architecture and filesystems, namespaces, userspace, kernel functions, drivers etc.

Highly recommend!

you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] -1 points 6 months ago (2 children)

What benefit would it provide though? It's a microkernel so you could just add non-free drivers in the userspace. Things like Playstation would choose BSD instead.

[–] [email protected] 1 points 6 months ago (1 children)

Harder GPL. Like v3 something.

[–] [email protected] -2 points 6 months ago (1 children)

If your point is that it would need some kind of license that would prevent proprietary drivers, then I'm not really sure how would lawyers differentiate between drivers and straight up non-free apps running on it.

[–] [email protected] 1 points 6 months ago (1 children)

GPL v3 prevents mechanisms that interfere with the ability of the end user to replace the free firmware of a device, like accepting only signed firmwares. It’s an “anti-TiVo” thing. It won’t prevent proprietary drivers, but any device distributed with it must not prevent the user from making their own drivers to replace them.

There isn’t a real solution that would work for user space drivers. At least not yet. But just like GPL v3 rose from TiVo, if this becomes an issue I’m sure the lawyers of FSF will come up with something, and Linus and a lot of other folk will hate it.

[–] [email protected] -2 points 6 months ago (1 children)

Yeah that makes sense but does not really fit with the theme "GPL or bust" since Linux itself does not use v3

[–] [email protected] 2 points 6 months ago

We’re talking about Redox OS, not Linux.

[–] [email protected] 0 points 6 months ago (1 children)

It would at least protect the core parts of the kernel itself

[–] [email protected] -1 points 6 months ago (1 children)

Sure but protect from what? Apple, Sony and Microsoft can just use BSD or any other proprietary kernel. Nobody will try to create the "new proprietary Linux" out of it because getting OS market share is hard even for an Open Source standard like Linux, let alone for some proprietary crap.

A potential issue is someone like Qualcom who makes their own proprietary fork which works on their hardware only. So instead of digging through the tens of thousand lines of code which Qualcom publishes for their out of tree Linux kernels, you can only reverse engineer. But again we are talking about a microkernel so most of these lines of code would be proprietary regardless. At least we save time of these crazy developers who try to bring out of tree stuff into mainline.

[–] [email protected] 1 points 6 months ago

It stops parts of Linux becoming proprietary, and becoming the dominant version users interact with. Comparisons with other kernels are irrelevant