( 마이크 로 커널 에서 넘 어 옴 ) 
 마이크로커널 ( microkernel ) 은 컴퓨터 과학 에서 운영 체제 에 추가 되 어야 하 는 메커니즘 을 제공 하 는 커널 이 다 . 이러 한 메커니즘 에 는 낮 은 수준 의 주소 공간 관리 , 스레드 관리 , 프로세스 간 통신 ( IPC ) 을 포함 한다 . 하드웨어 가 여러 개 의 링 과 CPU 모드 를 제공 한다면 마이크로커널 은 최고 권한 수준 ( 일반 적 으로 수퍼 바이저 및 커널 모드 로 부름 ) 에서 실행 되 는 유일 한 소프트웨어 가 된다 . 소스 코드 크기 측면 에서 마이크로커널 은 일반 적 으로 10 , 000 줄 이하 의 코드 를 지니 는 경향 이 있 다 . 이를테면 미닉스 3 의 경우 6 , 000 줄 이하 의 코드 가 있 다 . [ 1 ] 
 ↑ “ The MINIX 3 Operating System ” . 《 minix 3 . org 》. 2012 년 1 월 20 일 에 원본 문서 에서 보존 된 문서 . 
 Tanenbaum , A . , Herder , J . and Bos , H . ( 2006 년 5 월 ) . “ Can We Make Operating Systems Reliable and Secure ? ”. 《 Computer 》 39 ( 5 ) : 44 – 51 . doi : 10 . 1109 / MC . 2006 . 156 . 더 이상 지원 되 지 않 는 변수 를 사용 함 ( 도움 말 ) CS 1 관리 - 여러 이름 ( 링크 ) - the basic reliable reference . 
 이 문서 는 2017 년 11 월 18 일 ( 토 ) 16 : 45 에 마지막 으로 편집 되 었 습니다 .