제퍼 라눅스 점유율 만자로 웹사이트 리눅스 manjaro 커널 정부 개방형 OS 민트 kernel 우분투 리눅스재단 iOT