@rodias é Linux porque o nome é Linux mesmo, mas neste caso ele não pediu pra chamar de outro nome porque a pessoa estava se referindo exclusivamente ao kernel, e nesse caso ele não tenta trazer outra nomenclatura
