QNX에서 영감 받은 QSOE 0.1 공개, Skimmer와 seL4 커널을 선택하고 동일 userspace를 공유하는 RISC-V OS

QSOE 0.1은 QNX Neutrino 전통을 따른 microkernel 기반 OS의 첫 공개 릴리스로, 자체 개발한 Skimmer 커널 기반 QSOE/N과 seL4 기반 QSOE/L 두 변형을 제공합니다. 두 변형은 하나의 userspace와 build system을 공유하며, 커널 접점 계층을 제외하면 C library도 약 85%의 소스 코드를 공유합니다. 현재 64-bit RISC-V RV64 환경과 SiFive HiFive Unmatched 보드를 대상으로 하며, 두 변형 모두 실제 하드웨어에서 부팅됩니다.

QSOE는 동일한 userspace를 유지한 채 커널을 교체할 수 있는 구조를 제시하며, microkernel OS 연구에서 이식성과 검증 가능성을 동시에 겨냥합니다. 특히 seL4의 검증된 보안 모델과 새 microkernel인 Skimmer를 병행 지원하는 접근은 임베디드·실시간 시스템에서 선택형 커널 아키텍처의 실험적 가치를 보여줍니다.