On Fri, 24 Mar 2023 16:51:46 GMT, David M. Lloyd <d...@openjdk.org> wrote:
>> 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? That is acceptable, totally. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/12931#discussion_r1147839641
