RFR: 8303485: Replacing os.name for operating system customization [v6]
David M. Lloyd
duke at openjdk.org
Fri Mar 24 16:56:47 UTC 2023
On Fri, 24 Mar 2023 16:41:02 GMT, Michael Osipov <duke at openjdk.org> wrote:
>> A bit of a quibble, several internet sources identify Linux as an operating system (including Redhat).
>
> Well, no. It is just a kernel. Without a userland not an OS. That is why they call it GNU/Linux. Kernel + userland.
If you are referring to "Red Hat Enterprise Linux", it'd be correct (AFAIK) to say that Red Hat identifies "Red Hat Enterprise Linux" as an operating system, but I wouldn't go so far as to say that Red Hat calls "Linux" an operating system (well... subject to the reality of human inaccuracy). And the validity and correctness of the term "GNU/Linux" is *definitely* disputed (and likely always will be).
Maybe "Operating systems based on the Linux kernel" would be satisfactory?
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/12931#discussion_r1147838269
More information about the net-dev
mailing list