NoWayOS
Single Purpose OS.
seL4와 Microkit 기반의 보호 도메인 패턴, 타입 지정 메시지, 드라이버, 네트워킹, 네이티브 사용자 인터페이스, 그리고 모든 NoWayOS 저장소가 빌드에 쓰는 개발 컨테이너와 검사 도구.
- QEMU와 Raspberry Pi 5에서 실행
- 슈퍼바이저, 워치독, 페일세이프 상태
- Rust로 만든 IP 스택과 TLS 1.3 클라이언트
- 권한 부여, unsafe, 라이선스, 비밀 정보 검사와 모든 이미지의 자재 명세서
- 상태
- 개발 중
- 라이선스
- MIT OR Apache-2.0
Screen Compiler
디자인은 React로. 출시는 네이티브 Rust로. 장치에는 브라우저 없이.
선언된 부분 집합에 맞춰 TSX로 작성한 React 화면을 NoWayOS 사용자 인터페이스용 Rust로 변환합니다. 빌드할 때 여러분의 컴퓨터나 CI에서 실행되며, 제품에 실려 나가지 않습니다.
- 정확하거나, 아예 하지 않거나: 부분 집합 밖의 것은 줄과 열을 밝혀 거부합니다
- 같은 화면은 어떤 컴퓨터에서든 바이트 단위까지 같은 Rust를 만듭니다
- 변환된 각 화면은 승인된 이미지와 픽셀 단위로 일치해야 합니다
- 샌드박스가 아닌 빌드 도구: 신뢰하는 화면만 변환하십시오
- 상태
- 개발 중: 부분 집합 v0과 v1의 첫 부분
- 라이선스
- MIT
Showcase
Raspberry Pi에서 실행해 볼 수 있는 보안 애플리케이션.
보안 셀프서비스 화면을 위한 키트, 그 위에 쌓아 올릴 참조 애플리케이션, 그리고 Raspberry Pi 5가 부팅하면 뜨는, 가상 브랜드로 꾸민 예제 런처.
- 장치에 브라우저, WebView, JavaScript 없음
- 화면과 애플리케이션은 서로 다른 구획에
- 각 사용자의 응답은 장치 메모리에만 머물고 세션이 끝나면 지워지도록 설계되었습니다
- 모든 화면은 React로 디자인하고 Screen Compiler로 변환
- 상태
- 초기 단계이며 배포할 수 없음
- 라이선스
- MIT OR Apache-2.0
Defence Agent
모든 기여가 통과해야 하는 관문을, 풀 리퀘스트의 손이 닿지 않는 곳에.
NoWayOS의 공개 프로젝트에 대한 변경이 통과해야 하는 모든 보안 관문을, 각 관문이 대응하는 위협과 그 관문을 바꿀 수 있는 사람과 함께 기록해 두었고, 관문을 실행하는 에이전트도 이곳에 있습니다. 풀 리퀘스트는 자신을 심사하는 것을 절대 바꾸거나 제공하지 않습니다.
- 모든 관문은 무엇이 통과하는지 밝혀 두므로, 변경을 먼저 직접 확인해 볼 수 있습니다
- 모든 커밋은 Developer Certificate of Origin에 따라 서명(sign-off)합니다
- 관문에 대한 변경은 메인테이너에게 가며, 어떤 변경도 스스로를 심사하지 않습니다
- 에이전트는 결정하지 않습니다. 메인테이너가 그 판정을 읽고 병합할지 말지 정합니다
- 상태
- 공개됨: 관문은 기록을 마쳤고, 에이전트와 도구는 다음 차례입니다
- 라이선스
- MIT OR Apache-2.0
같은 기반 위의 상용 제품
NoWayOS 위에서는 상용 제품도 만들어집니다. 상용 제품에 필요한 범용 기능은 NoWayOS 자체에 공개적으로 구현되며, NoWayOS는 그 위에 만든 제품에 절대 의존하지 않습니다.
라이선스
- NoWayOS, Showcase, Defence Agent는 MIT OR Apache-2.0을 따르며, 둘 중 원하는 쪽을 선택할 수 있습니다.
- Screen Compiler는 MIT입니다. 여러분의 화면에서 생성된 Rust 코드는 여러분의 것이며, 원하는 대로 라이선스할 수 있습니다.
- NoWayOS의 글리프 아틀라스는 원본 글꼴의 라이선스인 SIL Open Font License를 따르고, 아이콘은 Lucide의 라이선스인 ISC를 따릅니다.
후원
NoWayOS는 Adappt.ai의 후원을 받습니다.