\u00c8 stato pubblicato il rilascio del progetto Asterinas 0.19, un kernel in sviluppo scritto in linguaggio Rust, destinato all'uso nei sistemi operativi generali. Il kernel offre un ABI (Application Binary Interface) compatibile con il kernel Linux e pu\u00f2 essere utilizzato al suo posto. Parallelamente, viene sviluppata la distribuzione Asterinas NixOS, che combina il kernel Asterinas con l'ambiente di sistema NixOS. Il codice del progetto \u00e8 in sviluppo dal 2022 ed \u00e8 distribuito sotto licenza MPL (Mozilla Public License). <\/p>\n
Attualmente, il kernel implementa oltre 240 chiamate di sistema Linux. Nella distribuzione Asterinas NixOS \u00e8 stata verificata la funzionalit\u00e0 di oltre 100 pacchetti di NixOS basati sul kernel Asterinas. Tra i pacchetti supportati ci sono: 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 e Codex.<\/p>\n
Il kernel garantisce il pieno supporto per l'architettura x86-64, supporto parziale per ARM64, RISC-V 64 e x86-64 con isolamento basato su Intel TDX, nonch\u00e9 un supporto iniziale per l'architettura LoongArch 64. Tra i principali ambiti di applicazione si segnalano i sistemi legati a Linux ABI, ma che richiedono un livello di sicurezza superiore. Ad esempio, Asterinas \u00e8 proposto per la creazione di ambienti di sistema protetti. macchine virtuali<\/a>, per i quali si utilizzano tecnologie come ARM CCA, AMD SEV e Intel TDX, cos\u00ec come sul lato del sistema host che garantisce l'esecuzione dei container.<\/p>\n Per ridurre la probabilit\u00e0 di errori nella gestione della memoria, che sono la principale fonte delle vulnerabilit\u00e0 pi\u00f9 pericolose, nella scrittura di Asterinas \u00e8 stato utilizzato il linguaggio Rust e una strategia di uso limitato di blocchi unsafe. Il kernel \u00e8 costruito utilizzando l'architettura framekernel, in cui si \u00e8 cercato di combinare le capacit\u00e0 di isolamento dei microkernel con l'efficienza dei kernel monolitici.<\/p>\n I componenti del kernel in Asterinas sono collocati in uno spazio di indirizzamento comune, mentre la sicurezza \u00e8 ottenuta a livello di separazione logica tra codice sicuro e codice in cui sono possibili problematiche di sicurezza. Il kernel \u00e8 suddiviso in due parti, scritte in Rust: OS Framework e OS Services. In OS Services \u00e8 vietato l'uso di blocchi unsafe, e tutte le operazioni a basso livello, che richiedono l'esecuzione di codice in blocchi unsafe, sono trasferite in OS Framework e accessibili solo tramite API di alto livello. Tutte le chiamate di sistema, i file system e i driver sono implementati a livello di OS Services e non possono includere blocchi unsafe.<\/p>\n Per lo sviluppo di servizi di sistema e moduli del kernel \u00e8 fornito un toolkit OSDK (Operating System Development Kit), che offre l'utilit\u00e0 cargo-osdk per creare, compilare, testare e avviare i componenti del sistema operativo. Per gli sviluppatori \u00e8 stato preparato un insieme di librerie OSTD (Operating System Standard Library), che include una versione delle librerie standard Rust (crate std), adattata per l'uso nei componenti del sistema operativo.<\/p>\n Tra le novit\u00e0 in Asterinas 0.19:<\/p>\n\n
\n