जर्नल
एक ऐसे कंप्यूटर के नोट्स, जिसे और कुछ नहीं करना।
NoWayOS कैसे बनता है, और क्यों। यहाँ हर दावे के साथ उसका सबूत है, या फिर साफ़ लिखा है कि वह अभी सिर्फ़ डिज़ाइन है।
React अंदर, Rust बाहर
डिज़ाइनर React के साथ बने रहते हैं। डिवाइस को नेटिव Rust मिलता है। Screen Compiler बिल्ड के समय स्क्रीन को कोड में कैसे बदलता है, ताकि डिवाइस पर हमला करने के लिए कोई ब्राउज़र ही न हो।
वह बैकअप जो कॉपी नहीं था
Apollo 11 दो गाइडेंस सिस्टम लेकर उड़ा, जो अलग-अलग सिद्धांतों पर बने थे, और उसे दोनों की ज़रूरत पड़ी। Ariane 5 दो एक जैसे सिस्टम लेकर उड़ा, और एक ही फ़ॉल्ट ने दोनों को रोक दिया। इस फ़र्क़ का एक नाम है, और NoWayOS इसके सही तरफ़ रहने के लिए बना है।
हम हर बदलाव पर अपने ही बिल्ड पर हमला करते हैं
जो सुरक्षा टेस्ट विफल हो ही नहीं सकता, वह कुछ साबित नहीं करता। इसलिए NoWayOS के टेस्ट ऐसे रूपों के साथ आते हैं जो विफल होने के लिए ही बने हैं, और उसके गेट वहाँ रहते हैं जहाँ कोई पुल रिक्वेस्ट नहीं पहुँच सकती।
एक प्रूफ़ क्या वादा कर सकता है
टेस्ट उन स्थितियों को आज़माता है जो किसी को सूझीं। प्रूफ़ सभी को कवर करता है। seL4 के गणितीय प्रूफ़ क्या कहते हैं, क्या मानकर चलते हैं, और NoWayOS उनके सामने कहाँ खड़ा है।
NoWayOS डिवाइस में शेल क्यों नहीं होता
ज़्यादातर डेडिकेटेड डिवाइस एक सामान्य-उद्देश्य कंप्यूटर होते हैं, जिनके ऊपर एक काम होता है और नीचे बाक़ी सब कुछ अब भी मौजूद रहता है। हमने दूसरा रास्ता लिया: हर डिवाइस को सिर्फ़ उसी से बनाना जो उसके काम को चाहिए, और बाक़ी को बाहर छोड़ देना।