[venamresm__]

A Linux kernel even though not derived from another UNIX can be UNIX. See the EulerOS 2.0 and K-UX 3.0, derived from Red-Hat.

https://blog.opengroup.org/2017/02/14/value-of-unix-open-sta...