Seorang pengguna mengusulkan menggunakan model bahasa terbaru dengan anggaran token masif untuk membuat sistem operasi open-source lengkap yang berbasis pada microkernel seL4. Rencana ini melibatkan menganalisis kode sumber seL4, Genode, dan Linux untuk mengadaptasi driver dan subsistem ke dalam lingkungan berbasis seL4.
- Model akan menganalisis kode dari repositori seL4, seL4_libs, sel4-tutorials, sel4test, dan Genode.
- Model tersebut akan secara bertahap mengadaptasi driver Linux yang dipilih untuk perangkat keras umum dan menambahkan sistem file yang berguna.
- Prosesnya akan bersifat iteratif, melibatkan proposal arsitektur, kompilasi, pengujian, dan koreksi kesalahan.
- Sistem hasil akhirnya akan dirilis sebagai open-source sesuai dengan lisensi yang ada.
Postingan tersebut mempertanyakan apakah model saat ini dapat menyelesaikan bagian signifikan dari proyek semacam itu jika biaya tidak dibatasi, dan mengidentifikasi hambatan potensial seperti mempertahankan rencana jangka panjang atau debugging pada perangkat keras nyata.