On Fri, 24 Mar 2023 16:08:30 GMT, Roger Riggs <rri...@openjdk.org> wrote:
>> src/java.base/share/classes/jdk/internal/util/OperatingSystem.java line 66: >> >>> 64: >>> 65: /** >>> 66: * The Linux Operating system. >> >> For the sake if completeness, Linux isn't an operating system, so this >> statement isn't correct. > > 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. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/12931#discussion_r1147826504
