De release van het Asterinas-project 0.19 is gepubliceerd, dat de kernel ontwikkelt, geschreven in de programmeertaal Rust en bedoeld voor gebruik in algemene besturingssystemen. De kernel biedt een ABI (Application Binary Interface) die compatibel is met de Linux-kernel en kan worden gebruikt ter vervanging ervan. Tegelijkertijd wordt de distributie Asterinas NixOS ontwikkeld, die de Asterinas-kernel combineert met de systeemomgeving van NixOS. De code van het project is sinds 2022 in ontwikkeling en wordt verspreid onder de MPL (Mozilla Public License). <\/p>\n
Momenteel zijn er meer dan 240 systeemaanroepen van Linux ge\u00efmplementeerd in de kernel. In de distributie Asterinas NixOS is de werking bovenop de Asterinas-kernel geverifieerd voor meer dan 100 pakketten uit NixOS. Ondersteunde pakketten zijn onder andere: 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 en Codex.<\/p>\n
De kernel biedt volledige ondersteuning voor de architectuur x86-64, gedeeltelijke ondersteuning voor ARM64, RISC-V 64 en x86-64 met Intel TDX-gebaseerde isolatie, evenals initi\u00eble ondersteuning voor de LoongArch 64-architectuur. Prioritaire toepassingsgebieden zijn systemen die zijn gebaseerd op Linux ABI, maar een hoger beschermingsniveau vereisen. Asterinas wordt bijvoorbeeld aanbevolen voor het opzetten van een systeemomgeving voor beveiligde toepassingen. virtuele machines<\/a>, for the isolation of which technologies such as ARM CCA, AMD SEV, and Intel TDX are used, as well as on the host system side that ensures the launch of containers.<\/p>\n To reduce the likelihood of memory-related errors, which are the main source of the most dangerous vulnerabilities, the Asterinas project employs the Rust programming language and a strategy of limited usage of unsafe blocks. The kernel is built using the framekernel architecture, which attempts to combine the isolation capabilities of microkernels with the efficiency of monolithic kernels.<\/p>\n De kerncomponenten in Asterinas zijn geplaatst in een gedeeld adresruimte, en de beveiliging wordt bereikt door logisch gescheiden beveiligde code en code die kwetsbaarheden kan bevatten. De kern is verdeeld in twee delen, geschreven in Rust: OS Framework en OS Services. In OS Services is het gebruik van unsafe-blokken verboden, en alle low-level operaties die code in unsafe-blokken vereisen, zijn overgebracht naar OS Framework en zijn alleen toegankelijk via een high-level API. Alle systeemaanroepen, bestandssystemen en stuurprogramma's worden op het niveau van OS Services ge\u00efmplementeerd en kunnen geen unsafe-blokken bevatten.<\/p>\n Voor de ontwikkeling van systeemdiensten en kernmodules wordt de OSDK (Operating System Development Kit) geleverd, die de cargo-osdk-tool biedt voor het cre\u00ebren, bouwen, testen en uitvoeren van componenten van het besturingssysteem. Voor ontwikkelaars is een set van OSTD-bibliotheken (Operating System Standard Library) voorbereid, die een editie van de standaard Rust-bibliotheken (crate std) bevat, aangepast voor gebruik in de componenten van het besturingssysteem.<\/p>\n Onder de veranderingen in Asterinas 0.19:<\/p>\n\n
\n