MMOS · Making an OS, one boundary at a time
MMOS는 완성된 코드를 해설하는 데서 멈추지 않습니다. 작은 RISC-V 운영체제를 직접 만들고, 다음 문제를 발견하고, 구현과 검증 기록으로 답을 쌓아가는 책과 소프트웨어의 시리즈입니다.
운영체제는 어느 날 완성된 형태로 나타나지 않습니다.
부팅, trap, 가상 메모리, 프로세스, 파일시스템과 shell을 하나씩 연결합니다. 각 단계의 한계가 다음 설계의 이유가 되고, 그 이유가 마이크로커널과 여러 프로파일로 이어집니다.
Writing now
‘완료’, ‘구현 중’, ‘계획’을 구분해 공개합니다. 아직 증명하지 않은 내용을 먼저 약속하지 않습니다.
가장 작은 이해 가능한 OS를 끝까지 연결하기
RISC-V 부팅부터 trap, Sv39 메모리, 스케줄러, 프로세스 생명주기, VFS·ext4, ELF, libc/CRT와 사용자 shell까지 직접 구현합니다.
만든 OS를 패키지하고, 설치하고, 실행하기
OS 이미지 하나를 실행하는 명령에서 출발해 배포 패키지, 가상 디바이스, Device Manager와 독립 Emulator, 실행 증거를 갖춘 제품으로 확장합니다.
A glimpse inside
커널이 문자를 출력했다는 사실만으로 사용자 프로그램이 실행될 수 있는 것은 아닙니다. CPU의 권한이 바뀌는 순간, 어떤 레지스터와 주소 공간을 누가 준비해야 하는지부터 확인해야 합니다.
실제 원고의 서술 방식을 소개하기 위한 요약 예시입니다. 개념 설명은 구현 지점, 확인할 로그, 다음에 드러나는 한계와 함께 이어집니다.
The complete arc
앞 권의 결과가 다음 권의 출발점이 됩니다. 서로 다른 목적의 시스템도 같은 마이크로커널 계약 위에서 비교하고 검증합니다.
Foundation · 원고 완성
부팅 가능한 작은 범용 OS를 만들며 전체 시스템의 기초를 확보합니다.
Platform · 집필 중
OS 산출물을 신뢰 가능한 패키지와 가상 디바이스로 배포하고 실행합니다.
Reference · 설계 예정
capability, IPC, 메모리 소유권과 scheduling contract를 작은 kernel 경계로 고정합니다.
Generic · 계획
파일시스템, 네트워크, 화면과 POSIX 호환성을 user space 서비스로 확장합니다.
Agentic · 계획
자율 에이전트의 도구 사용을 권한, 예산, 승인, 감사 기록 안에서 통제합니다.
Safety · 계획
정적 자원, 결정적 실행, fault 대응과 추적 가능한 assurance evidence를 다룹니다.
Mixed · 계획
Safety와 General workload가 함께 실행될 때 공간·시간·장치 간섭의 격리를 입증합니다.
How it is written
각 구현 단계는 독립적으로 확인할 수 있는 source revision과 연결합니다.
테스트, 실행 로그, 분석 결과가 기술적 주장의 근거가 되도록 기록합니다.
현재 구현한 사실, 받아들인 설계, 앞으로의 계획과 assurance claim을 구분합니다.
낯선 OS 개념은 코드 문맥과 도식 안에서 풀고, 필요한 원어를 함께 제시합니다.
Who this is for
Follow the build
이 페이지에는 시리즈의 진행 상황, 공개 가능한 샘플과 출간 소식을 차례로 더할 예정입니다.