Se ha publicado la versi\u00f3n del proyecto Asterinas 0.19, que desarrolla un n\u00facleo escrito en Rust y dise\u00f1ado para ser utilizado en sistemas operativos de prop\u00f3sito general. El n\u00facleo proporciona un ABI (Interfaz Binaria de Aplicaci\u00f3n) compatible con el n\u00facleo de Linux y que puede utilizarse en su lugar. Paralelamente, se est\u00e1 desarrollando la distribuci\u00f3n Asterinas NixOS, que combina el n\u00facleo Asterinas con el entorno del sistema NixOS. El c\u00f3digo del proyecto se desarrolla desde 2022 y se distribuye bajo la licencia MPL (Licencia P\u00fablica de Mozilla). <\/p>\n
Actualmente, el n\u00facleo implementa m\u00e1s de 240 llamadas al sistema de Linux. En la distribuci\u00f3n Asterinas NixOS, se ha verificado el funcionamiento de m\u00e1s de 100 paquetes de NixOS sobre el n\u00facleo Asterinas. Entre los paquetes compatibles se encuentran: Xfce, Firefox, bash, systemd, Podman, QEMU, rsync, Apache httpd, nginx, SQLite, Redis, Clang, GCC, Go, Lua, Node.js, OpenJDK, Perl, PHP, Python, Ruby, Rust, Git, FFmpeg, PyTorch, TensorFlow, Ollama y Codex.<\/p>\n
El n\u00facleo ofrece soporte completo para la arquitectura x86-64, soporte parcial para ARM64, RISC-V 64 y x86-64 con aislamiento basado en Intel TDX, as\u00ed como soporte inicial para la arquitectura LoongArch 64. Las \u00e1reas de aplicaci\u00f3n priorizadas se centran en sistemas que dependen de Linux ABI, pero requieren un nivel de seguridad m\u00e1s alto. Por ejemplo, se sugiere utilizar Asterinas para la creaci\u00f3n de un entorno del sistema seguro. m\u00e1quinas virtuales<\/a>, que utilizan tecnolog\u00edas como ARM CCA, AMD SEV e Intel TDX, as\u00ed como en el lado del sistema anfitri\u00f3n, que asegura la ejecuci\u00f3n de contenedores.<\/p>\n Para reducir la probabilidad de errores al trabajar con memoria, que son la principal fuente de las vulnerabilidades m\u00e1s peligrosas, se emplea el lenguaje Rust y la t\u00e1ctica de uso limitado de bloques unsafe en la escritura de Asterinas. El n\u00facleo se construye utilizando la arquitectura framekernel, donde se intenta combinar las capacidades de aislamiento de los microkernels con la eficiencia de los n\u00facleos monol\u00edticos.<\/p>\n Los componentes del n\u00facleo en Asterinas se colocan en un espacio de direcciones com\u00fan, y la seguridad se logra a nivel de separaci\u00f3n l\u00f3gica entre el c\u00f3digo seguro y el c\u00f3digo donde no se pueden excluir problemas de seguridad. El n\u00facleo se divide en dos partes, escritas en Rust: OS Framework y OS Services. En OS Services est\u00e1 prohibido el uso de bloques unsafe, y todas las operaciones de bajo nivel que requieren ejecuci\u00f3n de c\u00f3digo en bloques unsafe se trasladan a OS Framework y solo est\u00e1n disponibles a trav\u00e9s de una API de alto nivel. Todas las llamadas al sistema, los sistemas de archivos y los controladores se implementan a nivel de OS Services y no pueden incluir bloques unsafe.<\/p>\n Para el desarrollo de servicios del sistema y m\u00f3dulos del n\u00facleo, se ofrece la herramienta OSDK (Kit de Desarrollo de Sistema Operativo), que proporciona la utilidad cargo-osdk para la creaci\u00f3n, compilaci\u00f3n, prueba y ejecuci\u00f3n de componentes del sistema operativo. Se ha preparado un conjunto de bibliotecas OSTD (Biblioteca Est\u00e1ndar del Sistema Operativo) para los desarrolladores, que incluye una edici\u00f3n de las bibliotecas est\u00e1ndar de Rust (crate std) adaptada para su uso en los componentes del sistema operativo.<\/p>\n Entre las novedades en Asterinas 0.19:<\/p>\n\n
\n