اليوميات
ملاحظات من حاسوب لا يشغله شيء آخر.
كيف يُبنى NoWayOS، ولماذا. كل ادعاء هنا يأتي مع دليله، أو يقول صراحةً إنه ما زال تصميمًا.
React يدخل، Rust يخرج
المصممون يحتفظون بـ React. والأجهزة تحصل على Rust أصلي. كيف يحوّل Screen Compiler الشاشات إلى شيفرة وقت البناء، فلا يبقى على الجهاز متصفح يُهاجَم.
الاحتياط الذي لم يكن نسخة
حلّقت أبولو 11 بنظامَي توجيه مبنيَّين على مبدأين مختلفين، واحتاجت إليهما معًا. وحلّق أريان 5 بنظامين متطابقين، فأوقف عطل واحد الاثنين. لهذا الفرق اسم، و NoWayOS مبني ليكون في الجانب الصحيح منه.
نهاجم بناءنا نحن عند كل تغيير
اختبار الأمان الذي لا يمكن أن يفشل لا يثبت شيئًا. لذلك تأتي اختبارات NoWayOS مع نسخ بُنيت لتفشل، وتوجد بواباته حيث لا يستطيع طلب سحب أن يصل إليها.
ما الذي يستطيع البرهان أن يعد به
الاختبار يجرّب الحالات التي خطرت لأحدهم. والبرهان يغطيها كلها. ما تقوله براهين seL4 الرياضية، وما تفترضه، وأين يقف NoWayOS منها.
لماذا لا توجد صدفة أوامر في أجهزة NoWayOS
معظم الأجهزة المخصصة حاسوب للأغراض العامة، فوقه مهمة واحدة وتحته كل ما عداها ما زال موجودًا. نحن سلكنا الطريق الآخر: نبني كل جهاز مما تحتاجه مهمته فقط، ونترك الباقي خارجًا.