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