Un usuario propone utilizar el último modelo de lenguaje con un presupuesto masivo de tokens para crear un sistema operativo completo de código abierto basado en el microkernel seL4. El plan implica analizar el código fuente de seL4, Genode y Linux para adaptar controladores y subsistemas para un entorno basado en seL4.
- El modelo analizaría el código de los repositorios seL4, seL4_libs, sel4-tutorials, sel4test y Genode.
- Adaptaría gradualmente controladores de Linux seleccionados para hardware común y añadiría sistemas de archivos útiles.
- El proceso sería iterativo, involucrando propuestas de arquitectura, compilación, pruebas y corrección de errores.
- El sistema resultante se liberaría como código abierto en cumplimiento con las licencias existentes.
La publicación cuestiona si los modelos actuales podrían completar partes significativas de tal proyecto si los costos no estuvieran restringidos e identifica obstáculos potenciales como mantener planes a largo plazo o depurar en hardware real.