Un utilisateur propose d'utiliser le dernier modèle de langage avec un budget massif de tokens pour créer un système d'exploitation complet open-source basé sur le micro-noyau seL4. Le plan implique d'analyser le code source de seL4, Genode et Linux pour adapter les pilotes et sous-systèmes à un environnement basé sur seL4.

  • Le modèle analyserait le code des dépôts seL4, seL4_libs, sel4-tutorials, sel4test et Genode.
  • Il adapterait progressivement des pilotes Linux sélectionnés pour le matériel courant et ajouterait des systèmes de fichiers utiles.
  • Le processus serait itératif, impliquant des propositions d'architecture, la compilation, les tests et la correction d'erreurs.
  • Le système résultant serait publié en open-source conformément aux licences existantes.

La publication remet en question si les modèles actuels pourraient compléter des parties significatives d'un tel projet si les coûts n'étaient pas limités et identifie des obstacles potentiels tels que le maintien de plans à long terme ou le débogage sur du matériel réel.