저널
다른 할 일이 없는 컴퓨터가 전하는 기록.
NoWayOS를 어떻게, 왜 만드는지. 이곳의 모든 주장에는 증거가 따르며, 아직 설계 단계인 것은 그렇다고 분명히 밝힙니다.
React로 쓰고, Rust로 내보내다
디자이너는 React를 그대로 씁니다. 장치는 네이티브 Rust를 받습니다. Screen Compiler가 빌드 시점에 화면을 코드로 바꾸어, 장치에 공격할 브라우저가 없도록 하는 방법을 소개합니다.
복사본이 아니었던 백업
아폴로 11호는 서로 다른 원리로 만든 유도 시스템 두 개를 싣고 비행했고, 둘 다 필요했습니다. 아리안 5는 똑같은 시스템 두 개를 싣고 비행했고, 폴트 하나가 둘 다 멈췄습니다. 이 차이에는 이름이 있고, NoWayOS는 그 올바른 쪽에 서도록 만들어졌습니다.
변경할 때마다 저희 빌드를 직접 공격합니다
실패할 수 없는 보안 테스트는 아무것도 보여 주지 못합니다. 그래서 NoWayOS의 테스트에는 실패하도록 만든 버전이 함께 있고, 게이트는 풀 리퀘스트가 닿을 수 없는 곳에 있습니다.
증명이 약속할 수 있는 것
테스트는 누군가 떠올린 경우를 시험합니다. 증명은 모든 경우를 다룹니다. seL4의 수학적 증명이 무엇을 말하고, 무엇을 가정하며, NoWayOS는 그 옆 어디에 서 있는지 설명합니다.
NoWayOS 장치에 셸이 없는 이유
대부분의 전용 장치는 범용 컴퓨터 위에 한 가지 일을 올려 두고, 그 아래에 나머지를 모두 그대로 남겨 둡니다. 저희는 다른 길을 택했습니다. 각 장치를 그 일에 필요한 것만으로 만들고, 나머지는 넣지 않는 길입니다.