yesos-project

Descripción:

¿Qué es YesOS?

YesOS es un sistema operativo libre (licencia MIT) para procesadores RISC-V de 64 bits, escrito desde cero: sin Linux, sin libc y sin blobs binarios. Está hecho en C, Rust no_std y ensamblador, y se inspira en TempleOS.

Su objetivo es una seguridad que se pueda demostrar, no solo prometer:

• Memoria protegida con prueba formal: la protección de memoria (PMP) se bloquea al arrancar, y en cada compilación el solucionador Z3 demuestra que la configuración cumple la política. Si no se puede demostrar, no se genera la imagen.
• Código no confiable aislado: las aplicaciones se ejecutan en núcleos separados ("cells"), con su propia protección de memoria y un verificador de instrucciones.
• Clave de cifrado protegida: la clave del almacén cifrado vive solo en registros de un núcleo dedicado y nunca se guarda en memoria.
• Pruebas automáticas en QEMU para cada función.

Productos

• YesOS NAS: almacenamiento en red con panel web HTTPS (TLS 1.3 dentro del kernel), WebDAV con cuentas, instantáneas y copias de seguridad cifradas.
• YesOS Security: cortafuegos invisible entre el módem y el router.
• YesOS Desktop: el escritorio, que se está construyendo paso a paso.

Estado actual, con honestidad

Hoy YesOS funciona solo en el emulador QEMU. Para que funcione en placas reales (como la Orange Pi RV2) faltan los drivers de almacenamiento y de red. Cada README incluye una sección de limitaciones conocidas.

¿Para qué sirven las donaciones?

• Tiempo de desarrollo para seguir avanzando y probando cada función.
• Placas RISC-V reales, para escribir y probar los drivers que faltan y que YesOS pueda usarse fuera del emulador.

Cualquier aporte, por pequeño que sea, ayuda. ¡Gracias!

Código: https://github.com/yesos-project