Por qué KyberOS
Casi todo lo que la gente usa hoy corre sobre un diseño de núcleo que se fijó en los años ochenta y noventa. La alternativa principal, un micronúcleo Mach, nunca se terminó. KyberOS es un intento de terminarlo: un micronúcleo Mach puro, una personalidad UNIX encima y una personalidad Linux planeada para que el software de Linux pueda correr sobre él.
Lo que ofrece el diseño
Cada una de estas cosas existe en algún sistema. KyberOS busca reunirlas en un solo núcleo.
Un núcleo lo bastante pequeño para leerlo
El código privilegiado abarca tareas, hilos, puertos, mensajes, memoria virtual y planificación. Cuando un núcleo es lo bastante pequeño para auditarse, puedes comprobarlo en lugar de confiar en él.
Capacidades, no autoridad ambiental
Los puertos son capacidades. Nada es alcanzable sin un derecho y no hay nombres globales. Un proceso de la personalidad Linux planeada no tiene camino hacia un proceso UNIX porque el núcleo no le da ninguno.
Varios sistemas operativos en un núcleo
UNIX de forma nativa, Linux como invitado planeado y espacio para más. Se parece a WSL, salvo que el anfitrión es un micronúcleo y el formato binario nativo es Mach-O.
Mach-O nativo, cadena de herramientas LLVM
clang y lld producen hoy el formato nativo. Un enlazador dinámico propio está diseñado pero no escrito. LTO, PGO y CFI están planeados.
Cuarenta años de retrospectiva
L4 mostró que el IPC tiene que ser rápido. El Hurd mostró que un enjambre de servidores pequeños es difícil de operar. Mach aportó los conjuntos de procesadores y la copia en escritura. Todo esto es una entrada del diseño.
Una regla que toda función debe pasar
El mecanismo va en el núcleo y la política en los servidores. Una función que rompa la regla necesita una excepción numerada y fechada, con una medición que la respalde, para que el núcleo no crezca por accidente.
Para quién es
Quien aprende sobre un núcleo real
No es un juguete didáctico ni una base de 30 millones de líneas. El diseño está documentado y usa el vocabulario real de Mach.
Quien quería Mach sin el BSD
Si admirabas XNU y deseabas que no tuviera la capa BSD, este es ese núcleo: el modelo de Mach, mantenido puro.
Quien quiere software de Linux, no el núcleo de Linux
Los binarios de Linux sin modificar son una personalidad invitada planeada. Obtienes el software sin la superficie de fallos del monolito.
Quien aísla lo que no es de confianza
El trabajo no confiable corre en una personalidad al otro lado de una frontera de capacidades. La única salida es un puerto que nadie le dio.
Quien extraña lo que el Hurd prometió
El mismo objetivo sobre un núcleo Mach real, con un servidor medido por personalidad en lugar de muchos traductores.
Quien valora el crédito
KyberOS nombra a quienes construyeron Mach y conserva su vocabulario, para que un linaje de cuatro décadas siga atribuido. Consulta la historia.
Quién no debería elegirlo todavía
Si necesitas producción hoy
Usa Linux, FreeBSD o un BSD con jaulas. KyberOS arranca en QEMU y no tiene una versión estable.
Si necesitas hardware amplio
Los controladores vienen más adelante. Hoy el objetivo es una máquina virtual, no la tarjeta Wi-Fi de tu laptop.
Si necesitas pruebas formales
seL4 está verificado formalmente y tiene años en campo. KyberOS no es ninguna de las dos cosas. Por ahora el argumento descansa en un núcleo lo bastante pequeño para revisarse.
KyberOS está en desarrollo activo. Elegirlo ahora significa elegir una dirección y tener voz en hacia dónde va.
La apuesta
Los últimos cuarenta años de sistemas operativos respondieron una pregunta: ¿puede ganar un micronúcleo? Mach no demostró que los micronúcleos pierdan. Demostró que uno sin terminar pierde. Pocos han vuelto a intentarlo.
Si alguna vez miraste /proc y te preguntaste por qué el núcleo necesita saber todo eso, o viste cómo el fallo de un controlador tumbaba toda la máquina, este proyecto parte de ese pensamiento.
Para dónde seguir
La historia de Mach, para saber de dónde viene. La carta del núcleo, para las reglas que sigue. Los hitos, para saber hacia dónde va.