On Fri, 24 Mar 2023 16:53:05 GMT, Michael Osipov <d...@openjdk.org> wrote:
>> 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. Not the rabbit-hole I expected to go down today or for an informal comment on an internal API. I have no skin in that game. https://www.redhat.com/en/topics/linux/what-is-linux ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/12931#discussion_r1147850108
