wiki:os:gnu_linux