저 리눅스 커널만 빼기엔 좀 그런 것이 리눅스 커널만 커널이 아니라, 윈도우 커널, 솔라리스 커널(이것들도 커널의 일종인데 리눅스만 넣기엔 좀 그렇지 않나요?) 도 커널이지 않습니까?