Projets
Quatre projets. Une tâche chacun.
Les quatre sont open source et développés ouvertement, au sein de l’organisation NoWayOS sur GitHub.
NoWayOS
Le Single Purpose OS.
Des modèles de domaines de protection sur seL4 et Microkit, des messages typés, des pilotes, le réseau et une interface utilisateur native, avec le conteneur de développement et les vérifications avec lesquels se construit chaque dépôt NoWayOS.
- Fonctionne dans QEMU et sur le Raspberry Pi 5
- Un superviseur, un watchdog et un état de repli sûr
- Une pile IP et un client TLS 1.3, en Rust
- Vérification des droits, du code unsafe, des licences et des secrets, et une nomenclature logicielle pour chaque image
- Statut
- En développement
- Licence
- MIT OR Apache-2.0
Screen Compiler
Concevez en React. Livrez du Rust natif. Aucun navigateur sur l’appareil.
Convertit des écrans React, écrits en TSX dans un sous-ensemble déclaré, en Rust pour l’interface utilisateur de NoWayOS. Il s’exécute à la compilation, sur votre machine ou en CI, et n’est jamais embarqué.
- Exact ou rien : tout ce qui sort du sous-ensemble est refusé, avec sa ligne et sa colonne
- Le même écran donne un Rust identique à l’octet près sur n’importe quelle machine
- Chaque écran converti doit correspondre à son image approuvée, pixel pour pixel
- Un outil de compilation, pas un bac à sable : ne convertissez que les écrans auxquels vous faites confiance
- Statut
- En développement : le sous-ensemble v0 et les premiers éléments de la v1
- Licence
- MIT
Showcase
Des applications sécurisées à faire tourner sur un Raspberry Pi.
Un kit pour des écrans en libre-service sécurisés, une application de référence sur laquelle bâtir, et un lanceur d’exemples sous des marques fictives, sur lequel démarre le Raspberry Pi 5.
- Ni navigateur, ni WebView, ni JavaScript sur l’appareil
- L’écran et l’application dans des compartiments séparés
- Tout est conçu pour que les réponses de chacun restent uniquement dans la mémoire de l’appareil et soient effacées à la fin de la session
- Chaque écran conçu en React et converti par le Screen Compiler
- Statut
- À un stade précoce, et non déployable
- Licence
- MIT OR Apache-2.0
Defence Agent
Les points de contrôle que chaque contribution doit franchir, hors de portée de la pull request.
Chaque point de contrôle de sécurité qu’une modification des projets ouverts de NoWayOS doit franchir, consigné avec la menace à laquelle il répond et qui a le droit de le modifier, ainsi que l’agent qui les exécute. Une pull request ne modifie ni ne fournit jamais ce qui la juge.
- Chaque point de contrôle dit ce qui passe : vous pouvez vérifier votre modification avant de la proposer
- Chaque commit porte un Signed-off-by au titre du Developer Certificate of Origin
- Une modification d’un point de contrôle va au mainteneur, et aucune modification ne se juge elle-même
- L’agent ne décide jamais : un mainteneur lit son verdict et fusionne, ou non
- Statut
- Public : les points de contrôle sont consignés ; l’agent et ses outils suivront
- Licence
- MIT OR Apache-2.0
Des produits commerciaux sur la même base
Des produits commerciaux sont eux aussi construits sur NoWayOS. Tout ce dont ils ont besoin de générique est développé dans NoWayOS lui-même, ouvertement, et NoWayOS ne dépend jamais d’un produit construit sur lui.
Licences
- NoWayOS, le Showcase et Defence Agent sont sous MIT OR Apache-2.0, au choix.
- Le Screen Compiler est sous MIT. Le Rust qu’il génère à partir de vos écrans vous appartient, sous la licence de votre choix.
- Les atlas de glyphes de NoWayOS sont sous SIL Open Font License, la licence de la police dont ils sont tirés, et ses icônes sous ISC, la licence de Lucide.
Parrainage
NoWayOS est parrainé par Adappt.ai.