**리눅스 커널**은 오픈 소스 모놀리딕 유닉스 계열 컴퓨터 운영 체제 커널이다. 리눅스 계열의 운영 체제는 이 커널에 기반을 두며 개인용 컴퓨터와 서버와 같은 전통적인 컴퓨터 시스템들과 라우터, 무선 액세스 포인트, PBX, 셋톱 박스, FTA 리시버, 스마트 TV, PVR, NAS 어플라이언스 등의 다양한 임베디드 장치에 보통 리눅스 배포판의 형태로 배치된다. 태블릿 컴퓨터, 스마트폰, 스마트워치를 위한 안드로이드 운영 체제는 기능 구현을 위해 리눅스 커널이 제공하는 서비스들을 사용한다. 데스크톱 컴퓨터에 채용하는 경우가 낮은 편이지만 리눅스 기반 운영 체제들은 모바일 장치에서부터 메인프레임에 이르기까지 기타 거의 모든 컴퓨팅 부문을 지배하고 있다. 2017년 11월 기준으로, 세계 500대의 가장 강력한 슈퍼컴퓨터들은 모두 리눅스를 실행하고 있다.

리눅스 커널은 1991년 리누스 토르발스가 자신의 개인용 컴퓨터를 위해 고안되어 개발

리눅스 커널 API는 사용자 프로그램들이 커널과 통신하는 API로서 매우 안정적이고 유저스페이스 프로그램(GUI를 갖추고 다른 API에 의존하는 일부 프로그램)을 망가트리지 않는다는 것을 뜻한다. 커널 기능의 일부로서 장치 드라이버들은 하드웨어를 제어한다. 즉, 주류 장치 드라이버들은 매우 안정적임을 뜻한다. 그러나 다른 수많은 커널과 운영 체제와 달리 커널과 적재 가능 커널 모듈(LKM) 간의 인터페이스가 매우 안정적으로 설계되었다는 것을 뜻하는 것은 아니다.

전 세계 기여자들이 개발한 리눅스 커널은 자유-오픈 소스 소프트웨어의 저명한 예이며,

## 역사
1991년, 리누스 토르발스는 스물 한살 나이의 핀란드 헬싱키 대학교의 컴퓨터 과학부 학생이었을 시절 운영 체제에 대한 단순한 개념들에 대한 작업에 착수했다. 그는 x86 어셈블리어와 터미널 드라이버의 문맥 교환기로 시작했다. 1991년 10월 25일, 토르발스는 유즈넷의 한 뉴스그룹 comp.os.minix에 다음의 내용을 게시하였다:

저는 현재 bash(1.08)와 gcc(1.40)을 포팅하였으며 동작하는 것으로 보입니다. 이 말은 수개월 안에 뭔가 실용적인 것을 하겠다는 이야기입니다. (중략) 그래요, minix 코드는 모두 자유이고 멀티스레드 fs가 포함됩니다. 포팅은 불가능하며(386 태스크 교환 등을 사용) AT 하드디스크 외에는 다른 것들은 지원하지 않을 겁니다. 왜냐하면 제가 가진 것이 그게 다거든요. :-(.''

(중략) 대부분은 C로 되어있지만 대부분의 사람들은 제가 C로 쓴 것을 호출하지 않을 겁니다. 386에 관해 제게 가르쳐준 프로젝트이기도 해서 제가 찾을 수 있었던 386의 가능한 모든 기능을 사용합니다. 이미 언급했듯이 페이징(아직 디스크는 아님)과 세그먼테이션을 위해 MMU를 사용합니다. 정말로 386에 의존하는 세그먼테이션입니다. (모든 태스크는 코드 및 데이터를 위해 64메가바이트의 세그먼트를 취하고 있으며 4Gb에 최대 64개의 태스크가 들어갑니다)}}

그 뒤로 수많은 사람들이 해당 프로젝트에 코드를 기여하였다. 초기에 MINIX 커뮤니티는 리눅스 커널에 코드와 아이디어를 기여하였다. 당시 GNU 프로젝트는 자유 운영 체제에 필요한 구성 요소들 중 다수를 만들어냈지만 자체 커널 GNU 허드는 완전하지 않았고 이용이 불가능했다. BSD 운영 체제는 법적 문제로부터 자유롭지 못했다. 초기 버전의 제한적인 기능에도 불구하고 리눅스는 급속도로 개발자들과 사용자들을 모아나갔다.

1991년 9월, 버전 0.01의 리눅스 커널이 핀란드 대학교와 FUNET(리서치 네트워크)의 FTP 서버(ftp.funet.fi)에 공개되었다. 10,239줄의 코드였다. 1991년 10월, 버전 0.02의 리눅스 커널이 출시되었다.

1991년 12월, 리눅스 커널 0.11이 출시되었다. 이 버전은 셀프 호스팅이 되는 최초 버전이었으며 리눅스 커널 0.11은 동일한 커널 버전을 실행 중인 컴퓨터에 의해 컴파일할 수 있었다. 토르발스가 1992년 2월에 버전 0.12를 출시하였을 때 상업적 배포를 허가하지 않았던 자신의 과거 자체 초안 라이선스를 넘어서서 GNU GPL을 채택했다.

1992년 1월 19일, 새로운 뉴스그룹 alt.os.linux에 첫 게시글이 제출되었다.

X 윈도 시스템이 리눅스에 포팅되었으며, 이로써 1992년 3월 리눅스 버전 0.95는 X를 실행할 수 있는 최초 버전이 되었다. 0.1에서 0.9x로의 큰 버전 번호 점프로 인해 크게 빠진 부분이 없이 버전 1.0이 임박한 것처럼 예측되었다. 그러나 이는 사실이 아닌 것으로 드러났으며 1993년부터 1994년 초까지 0.99의 15개의 개발판이 등장하였다.

1994년 3월 14일, 리눅스 커널 1.0.0이 출시되었으며 그 코드 줄 수는 176,250줄이다. 1995년 3월, 리눅스 커널 1.2.0이 출시되었으며, 코드 줄 수는 310,950줄이다.

리눅스 커널 버전 2는 1996년 6월 9일 출시되었으며 버전 2 헤더 아래에 추가 메이저 버전이 잇따라 출시되었다:

2004년을 기점으로 릴리스 프로세스가 변경되었으며 새로운 커널들이 2~3개월마다 정기적인 일정에 따라 출시를 시작했으며, 번호는 2.6.0, 2.6.1부터 2.6.39까지 이르렀다.

2011년 7월 21일, 토르발스는 리눅스 커널 3.0 릴리스를 발표하였다: "Gone are the 2.6. 이러한 버전 상승은 리눅스 2.6.39 대비 큰 기술적 변화에 대한 것은 아니었다. 시간 기반 릴리스 프로세스는 동일하게 유지되었다.

버전 3.10의 리눅스 커널은 2013년 6월 출시되었으며 15,803,499줄이 포함되었으며,

### 타넨바움–토르발스 논쟁
MINIX 개발자 앤드루 타넨바움와 리누스 토르발스 사이에 리눅스가 마이크로커널이 아닌 모놀리딕 커널이라는 것이 논쟁의 주제였다.

### 대중화
리눅스 커널을 포함하는 안드로이드 운영 체제의 인기가 상승하면서 이 커널이 모바일 장치를 위한 가장 대중적인 선택이 되었고 기타 설치 기반의 모든 운영 체제와 겨루게 되었다. 과거의 여러 햇수를 포함하여 2014년 말을 기준으로 30억 대의 안드로이드 스마트폰들이 판매된 것으로 추정되었다.

수많은 컨슈머 라우터들 또한 리눅스 커널을 사용하며 그 외에 스마트 TV, 셋톱 박스, 웹캠과 같은 다양한 기타 임베디드 장치들 또한 마찬가지이다. 리눅스 커널을 포함하는 수많은 데스크톱 리눅스 배포판들이 존재하지만 리눅스 배포판의 사용률 면에서는 다른 운영 체제에 비해 낮은 편이다.

## 구조
리눅스 커널은 진정한 선점형 멀티태스킹 (사용자 모드 및, 2.6 시리즈 이후의 경우 커널 모드

### 프로그래밍 언어
리눅스 커널은 어셈블리어(GCC의 AT&T 스타일 문법)로 작성된 수많은 짧은 코드와 더불어 GCC(수많은 확장과 변경 사항을 표준 C에 도입)에 의해 지원되는 C 프로그래밍 언어 버전으로 작성되어 있다. 지원되는 C 확장 덕분에 GCC는 한동안 리눅스 커널을 올바르게 빌드할 수 있는 유일한 컴파일러였다.

### 컴파일러 호환성
GCC는 리눅스 커널 소스의 기본 컴파일러이다. 2004년, 인텔은 자사의 C 컴파일러가 컴파일할 수 있도록 커널을 수정했다고 주장하였다.

2010년 이후로 C 언어의 다른 컴파일러인 클랭으로 리눅스 커널을 빌드하려는 노력이 진행되고 있다.

### 인터페이스
표준을 준수하는 것은 리눅스 커널의 내부 기능에 대한 포괄적인 정책이다. 다른 규칙으로는 해당 구성 요소를 사용하는 사유(proprietary)의 사용자 공간 소프트웨어가 있을 경우에는 커널의 구성 요소가 리눅스 커널에 수용되지 않는다는 점이다.

#### 커널-사용자공간 API
소스 코드 이식성은 표준을 준수하여 작성된 C 프로그램이 동일 표준을 준수하는 시스템에서 성공적으로 컴파일되고 실행 가능함을 보증한다. 리눅스 커널, GNU C 라이브러리, 관련 유틸리티들이 고수하려 애쓰는, 프로그램의 소스 코드 이식성을 달성하는데 초점을 둔 관련 표준들은 POSIX와 단일 유닉스 규격이다.

커널의 시스템 호출 인터페이스를 대표하는 리눅스 커널의 리눅스 커널 API는 사용 가능한 시스템 호출로 구성되어 있다.

#### 커널-사용자공간 ABI
이진 이식성은 주어진 하드웨어 플랫폼에 맞추어 컴파일된 프로그램이라면 표준을 준수하는 기타 하드웨어 플랫폼에서 컴파일된 형태로 실행이 가능함을 보증할 수 있다. 이진 이식성은 리눅스 커널 기반의 운영 체제용 독립 소프트웨어 벤더(ISV) 응용 프로그램들의 상업적 독자 생존의 필수 요건이다. 바이너리 호환은 소스 코드 이식성보다 훨씬 더 요구사항이 많다. 즉, 2014년 2월 기준으로 바이너리 호환성과 관련된 유일한 표준은 리눅스 기본 규격(LSB)이다.

#### 커널 내 API
각기 다른 하위 시스템들과 하위 시스템들의 하위 시스템들 간 활용되는 커널 내부 API가 여럿 있다. 이들 가운데 일부는 여러 릴리스를 통해 안정적으로 유지되고 있고 다른 것들은 그렇지 않다. 커널 내 API와 관련한 어떠한 보증도 없다. 유지보수자들과 기여자들은 언제든지 이것들을 자유로이 늘려나가거나 바꿀 수 있다.

커널 내 API의 예에는 다음 계열의 장치 드라이버를 위한 소프트웨어 프레임워크/API를 포함한다.

#### 커널 내 ABI
일부 단체들은 여러 릴리스를 통해 커널 내 ABI의 정의 및 유지보수를 굳건히 지원해왔다. 이를테면 사유 커널 모듈을 출시하고 바이너리 전용 소프트웨어(예: 장치 드라이버)를 배포하는 하드웨어 제조업체들에게 이익을 준다. 그러나 리눅스 커널 개발자들은 안정적인 커널 내 ABI를 유지보수하지 않기로 했다. 이로써 리눅스 커널 개발을 더 진척시킬 수 있게 되었다.

### 기술적 기능

#### 선점
리눅스 커널은 특정한 조건에서 선점 스케줄링을 제공한다. 리눅스 커널 2.4까지 오직 사용자 프로세스들만이 선점 형태였다. 이를테면 타임 퀀텀 만기(time quantum expiration) 외에도 사용자 모드 내의 현재 프로세스의 실행은 더 높은 동적 우선 순위 프로세스가  상태에 진입할 때 인터럽트 처리된다.

리눅스 커널에는 각기 다른 스케줄러 클래스가 포함되어 있다. 기본적으로 커널은 2.6.23 버전의 커널에 도입된 Completely Fair Scheduler라는 이름의 스케줄러 매커니즘을 사용한다.
내부적으로 이 기본 스케줄러 클래스는 

실시간 리눅스 커널 패치 를 사용함으로써, 임계영역, 인터럽트 핸들러, 인터럽트 비활성화(interrupt disable) 코드 시퀀스의 완전한 선점을 지원할 수 있다.

최단 마감 우선 알고리즘(EDF)을 구현하는 라는 이름의 추가적인 스케줄링 정책이 커널 버전 3.14에 추가되었고 2014년 3월 30일 출시되었다.

#### 이식성
리눅스가 처음부터 이식을 위해 설계된 것은 아니지만, 이는 토르발스가 경쟁 컴퓨팅 아키텍처로의 이식을 용이케 하기 위해 커널 코드의 재구성이 필요하다는 추진제 역할을 했다. 최초의 리눅스 보증 포트는 DEC 알파 AXP 64비트 플랫폼을 대상으로 했으며 1995년 5월 DECUS에서 시연되었고

리눅스는 IBM의 블루 진(Blue Gene)과 그 밖의 속도가 가장 빠른 슈퍼컴퓨터(최상위의 중국 것 포함)의 주 운영 체제로서 실행된다. 2017년 11월 기준으로 전 세계 500대의 최고 속도의 슈퍼컴퓨터들 모두 여러 종류의 리눅스를 구동한다. 리눅스는 또한 애플 아이팟, 아이폰 등의 여러 휴대용 장치에도 이식되었다.

#### 커널 패닉과 웁스
리눅스에서 패닉은 커널에 의해 감지되었으나 복구할 수 없는 시스템 오류를 말하며, 이는 사용자 공간 코드에 의해 감지된 비슷한 오류와는 반대된다. 커널 코드는 헤더 파일  함수를 호출함으로써 이러한 조건을 지시하는 것이 가능하다. 그러나 대부분의 패닉들은 유효하지 않은 메모리 주소에 대한 참조 등 커널 코드 내에서 처리되지 못한 프로세서 예외의 결과물이다. 이것들은 일반적으로 패닉을 일으키게 만든 호출 체인 내의 어딘가의 버그로 인지된다. 문제가 되는 RAM 셀, 프로세스 버그로 인해 발생된 프로세스 내 산술 기능의 오류, 프로세서의 과열/손상, 소프트 오류 등의 하드웨어의 고장으로 인식할 수도 있다.

커널 내에서 치명적이지 않은 버그의 보고는 웁스라고 한다. 즉, 리눅스 커널의 올바른 동작에서 파생된 것들은 보증된 신뢰성과 함께 지속적인 운용을 허용할 수 있다.

커널 패닉 메시지는 그래픽 데스크톱을 사용할 때 등 일부 상황에서는 눈으로 볼 수 있도록 출력되지 않을 수 있다. 이러한 조건에서 디버깅하려면 직렬 포트 콘솔을 부착하는 등의 다른 수단을 사용할 수 있다.

#### 라이브 패치
Ksplice, kpatch, kGraft 등의 재기동 없는 업데이트도 커널에 적용할 수 있다. 라이브 커널 패치를 위한 최소한의 파운데이션은 2015년 4월 12일 출시된 커널 버전 4.0의 리눅스 커널 메인라인에 통합되었다. 주로 커널의 ftrace 기능에 기반을 둔 "livepatch"라는 이름으로 된 해당 파운데이션들은 kGraft와 kpatch를 통해 핫 패치를 지원할 수 있는 공통 코어를 형성하며 이는 핫 패치를 포함하는 커널 모듈을 위한 API, 그리고 사용자 공간 관리 유틸리티를 위한 응용 프로그램 이진 인터페이스(ABI)를 제공함으로써 이루어진다. 그러나 리눅스 커널 4.0에 포함된 공통 코어는 오직 x86 아키텍처만 지원하며 핫 패치가 적용되더라도 함수 수준의 일관성을 보증하기 위한 매커니즘은 제공하지 않는다. 2015년 4월 기준으로 kpatch와 kGraft를 리눅스 커널 메인라인에 의해 제공되는 공통 라이브 패치 코어로 이식하는 작업이 진행 중이다., 실험적인 AMD 라데온 동적 전력 관리, 레이턴시가 적은 네트워크 폴링, zswap(압축된 스왑 캐시)가 있다.

2.6.39부터 3.0, 3.19부터 4.0에 이르는 번호 변경은 의미있는 기술적 차이를 수반하지는 않는다. 메이저 버전 번호는 커다란 마이너 번호를 회피하기 위해 증가시킨 것이다.

## 개발
width = 800 |
 height = 400 |
 type = rect |
 xAxisTitle = Kernel Version |
 yAxisTitle = Million Lines of Code |
 x = 0.01, 1.0.0, 1.1.0, 1.2.0, 1.3.0, 2.0.0, 2.1.0, 2.2.0, 2.3.0, 2.4.0, 2.5.0, 2.6.0, 3.0, 4.0, 4.10, 4.15 |
 y = 0.008, 0.17, 0.17, 0.29, 0.32, 0.71, 0.73, 1.67, 1.76, 3.15, 3.83, 8.10, 14.64, 19.31, 22.84, 25.36