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