Awesome GitHub RepositoriesSymmetric Multi-Processing

Asterinas est un noyau de système d'exploitation sécurisé en mémoire conçu pour prévenir les data races et la corruption mémoire. Il fonctionne comme un noyau compatible Linux-ABI, permettant l'exécution de binaires Linux existants et de charges de travail conteneurisées tout en offrant un modèle de distribution de système d'exploitation déclaratif. Le projet se distingue en agissant comme un hôte de conteneurs pour machines virtuelles et un OS invité pour le confidential computing, lui permettant de s'exécuter au sein d'environnements d'exécution isolés matériellement comme Intel TDX. Il implémente une base de calcul de confiance minimale en isolant les opérations dangereuses de bas niveau et sépare les mécanismes fondamentaux du noyau des implémentations de politiques spécifiques. Le système couvre un large éventail de capacités, incluant la gestion de la mémoire physique et virtuelle, le multi-processing symétrique et l'abstraction matérielle pour diverses architectures CPU. Il inclut également le support pour les runtimes de conteneurs sécurisés, un ensemble complet de primitives réseau et socket, ainsi qu'une toolchain spécialisée pour la compilation et l'émulation du noyau. Le projet prend en charge le déploiement multi-architecture sur les plateformes x86-64, RISC-V 64 et LoongArch 64.

OSV est un système d'exploitation unikernel et un environnement d'exécution cloud-native conçu pour s'exécuter en tant que microVM sécurisée sur des hyperviseurs tels que KVM, Firecracker, Xen et VMware. Il fonctionne comme un runtime compatible avec les binaires Linux, permettant aux binaires Linux non modifiés d'être exécutés en tant que microVMs sécurisées sans nécessiter de recompilation. Le projet se distingue par sa capacité à empaqueter des applications dans des images amorçables minimales et sa fourniture d'une API de gestion de machine virtuelle. Cette interface REST permet la surveillance à distance de la santé du système, la gestion des traces d'exécution et le contrôle des états des machines virtuelles invitées. Le système couvre un large éventail de capacités de bas niveau, incluant la planification symétrique multi-processeurs, une pile réseau basée sur canal et l'intégration de périphériques virtuels. Il inclut des outils d'observabilité complets pour la détection de fuites mémoire, l'échantillonnage de l'utilisation CPU et le traçage de paquets réseau, ainsi qu'une prise en charge de divers systèmes de fichiers de démarrage et de la gestion du stockage par blocs persistant.

This project is a reference library of firmware examples and a development framework for creating embedded C applications on the RP2040 microcontroller. It provides a collection of hardware peripheral drivers and foundational patterns for managing system resources in resource-constrained environments. The library features reference implementations for programmable I/O state machines, allowing for the creation of custom hardware-level protocols. It also provides a multicore embedded framework to distribute computational workloads across multiple processor cores using symmetric processing. The