एक उपयोगकर्ता ने seL4 माइक्रोकर्नेल पर आधारित एक पूर्ण ओपन-सोर्स ऑपरेटिंग सिस्टम बनाने के लिए भारी टोकन बजट वाले नवीनतम भाषा मॉडल का उपयोग करने का प्रस्ताव किया है। इस योजना में seL4, Genode और Linux के स्रोत कोड का विश्लेषण करना शामिल है ताकि ड्राइवरों और सबसिस्टम को seL4-आधारित वातावरण के लिए अनुकूलित किया जा सके।
- मॉडल seL4, seL4_libs, sel4-tutorials, sel4test और Genode रिपॉजिटरी से कोड का विश्लेषण करेगा।
- यह सामान्य हार्डवेयर के लिए चयनित Linux ड्राइवरों को धीरे-धीरे अनुकूलित करेगा और उपयोगी फाइल सिस्टम जोड़ेगा।
- प्रक्रिया पुनरावृत्त होगी, जिसमें आर्किटेक्चर प्रस्ताव, कंपाइलेशन, परीक्षण और त्रुटि सुधार शामिल होंगे।
- परिणामी सिस्टम मौजूदा लाइसेंस के अनुपालन में ओपन-सोर्स के रूप में जारी किया जाएगा।
पोस्ट यह सवाल उठाता है कि यदि लागत पर प्रतिबंध न हो तो वर्तमान मॉडल ऐसे प्रोजेक्ट के महत्वपूर्ण हिस्से को पूरा कर सकते हैं या नहीं, और दीर्घकालिक योजनाओं को बनाए रखने या वास्तविक हार्डवेयर पर डीबगिंग जैसे संभावित बाधाओं की पहचान करता है।