asterinas

Un kernel del sistema operativo seguro, rápido y general escrito en óxido y compatible con Linux

Inglés | 中文版 | 日本語

Introducción de asterinas

Las asterinas son un núcleo SO seguro , rápido y de uso general que proporciona ABI compatible con Linux . Puede servir como un reemplazo perfecto para Linux al tiempo que mejora la seguridad de la memoria y la amistad del desarrollador .

• Las asterinas priorizan la seguridad de la memoria al emplear el óxido como su único lenguaje de programación y limitar el uso de óxido inseguro a una base de computación de confianza claramente definida y mínima (TCB). Este enfoque innovador, conocido como la arquitectura de FrameKernel, establece las asterinas como una opción de núcleo más segura y confiable.

• Asterinas supera a Linux en términos de amistad del desarrollador. Empodera a los desarrolladores del kernel (1) utilizar el lenguaje de programación de óxido más productivo, (2) aprovechar un kit de herramientas especialmente diseñado llamado OSDK para racionalizar sus flujos de trabajo y (3) elegir entre liberar sus módulos de núcleo como código abierto o mantenerlos propietario, gracias a la flexibilidad ofrecida por MPL.

Si bien el viaje hacia un núcleo del sistema operativo de grado de producción puede ser un desafío, estamos progresando firmemente hacia nuestro objetivo. Actualmente, Asterinas solo admite X86-64 VMS. Sin embargo, nuestro objetivo para 2024 es preparar la producción de asterinas en las máquinas virtuales x86-64.

Empezando

Obtenga una máquina Linux X86-64 con Docker instalada. Siga los tres pasos simples a continuación para poner en funcionamiento las asterinas.

1. Descargue el último código fuente.

git clone https://github.com/asterinas/asterinas

2. Ejecute un contenedor Docker como entorno de desarrollo.

docker run -it --privileged --network=host --device=/dev/kvm -v $( pwd ) /asterinas:/root/asterinas asterinas/asterinas:0.10.3

3. Dentro del contenedor, vaya a la carpeta del proyecto para construir y ejecutar asterinas.

make build
make run

Si todo va bien, las asterinas ahora están en funcionamiento dentro de una VM.

Biblia

Vea el libro de Asterinas para obtener más información sobre el proyecto.

Licencia

El código fuente y la documentación de Asterinas utilizan principalmente la Licencia Pública de Mozilla (MPL), versión 2.0. Los componentes seleccionados están bajo licencias más permisivas, detalladas aquí. Para los fundamentos detrás de la elección de MPL, ver aquí.