HelenOS

HelenOS는 여러 CPU 아키텍처에서 동작하는 독립적인 마이크로커널·다중 서버 운영체제다. Charles University를 중심으로 2005년경부터 발전했으며, UNIX·Linux 또는 BSD 커널 코드를 가져와 만드는 대신 운영체제의 커널과 핵심 서비스를 처음부터 설계하는 연구를 추구한다. 학술·교육 환경에서 운영체제 서비스의 분리, 이식성, 메모리 관리와 메시지 기반 통신을 검증하는 기반으로 활용된다.^[1]

커널은 스레드와 주소 공간·하드웨어 자원의 기본 관리 및 IPC를 담당하고, 파일 시스템과 네트워크 스택, 장치 드라이버와 GUI 같은 서비스는 사용자 공간의 여러 프로세스에서 실행한다. 서비스들은 메시지를 교환하며 협력하므로 하나의 드라이버나 서버 오류가 다른 구성 요소로 무조건 전파되지는 않는다. 커널을 가볍게 유지하는 것과 사용자 공간의 복잡한 상호 작용을 통제하는 것이 설계의 핵심 과제다.

여러 아키텍처로의 이식을 지원하려는 목표가 있지만 일반 PC의 모든 하드웨어와 상용 애플리케이션을 널리 실행하는 배포판은 아니다. POSIX·UNIX 호환성보다 독립적인 운영체제 아키텍처와 명료한 인터페이스를 강조하며, 학술 연구와 교육을 주요 활용 분야로 삼는다. HelenOS를 BSD 계열로 분류할 이유는 일부 소스의 BSD 계열 라이선스 때문이 아니라 직접적인 커널의 코드 계승 여부여야 하며, 프로젝트는 명시적으로 별도 구현을 지향한다.^[2]