한 사용자가 막대한 토큰 예산을 갖춘 최신 언어 모델을 사용하여 seL4 마이크로커널 기반의 완전한 오픈 소스 운영 체제를 생성할 것을 제안합니다. 이 계획에는 seL4, Genode 및 Linux 소스 코드를 분석하여 seL4 기반 환경에 맞게 드라이버와 하위 시스템을 적응시키는 작업이 포함됩니다.
- 모델은 seL4, seL4_libs, sel4-tutorials, sel4test 및 Genode 저장소의 코드를 분석합니다.
- 일반적인 하드웨어를 위해 선택된 Linux 드라이버를 점진적으로 적응시키고 유용한 파일 시스템을 추가합니다.
- 이 과정은 아키텍처 제안, 컴파일, 테스트 및 오류 수정을 포함하는 반복적일 것입니다.
- 결과 시스템은 기존 라이선스를 준수하여 오픈 소스로 출시됩니다.
게시물은 비용이 제한되지 않았다면 현재 모델이 이러한 프로젝트의 상당한 부분을 완료할 수 있는지 의문을 제기하며 장기 계획 유지나 실제 하드웨어에서 디버깅과 같은 잠재적 장애물을 식별합니다.