Search Results for "driver"

This repository contains a collection of tools and commands used for managing the lifecycle of enclaves. The Nitro CLI needs to be installed on the parent instance, and it can be used to start, manage, and terminate enclaves. The Nitro Enclaves kernel driver is available in the upstream Linux kernel starting with the v5.10 kernel for x86_64 and starting with the v5.16 kernel for arm64. The codebase from the 'drivers/virt/nitro_enclaves' directory in this GitHub repository is similar to the one...

Tock is a secure, embedded operating system designed for microcontrollers and low-power hardware platforms. Written in Rust, it uses a novel kernel architecture where the OS runs a minimal trusted core and all userland code, including device drivers, is sandboxed and isolated. Tock is ideal for IoT devices, wearables, and embedded research projects where reliability and safety are critical. Its capability-based security model and preemptive multitasking allow developers to safely run...

LibertyOS Kernel is the core component of the LibertyOS operating system project, focused on creating a secure, privacy-respecting OS from the ground up. Written primarily in C and C++, the kernel is being developed to support modern hardware, incorporate essential system services, and maintain transparency in design. LibertyOS is built with an emphasis on user freedom, aiming to avoid corporate tracking, offer user-centric control, and provide a robust alternative to mainstream operating...

NebiOS is Ubuntu-based secure, privacy-focused universal OS for daily life, creativity, gaming & more. Official mirror - use if main site has download issues. Main site: nebios.org ⚠️ DON'T DOWNLOAD FROM UNKNOWN SOURCES! === 🚀 NebiOS X Gone GOLD! See you on 1 November 2025. ⚠️ Note on Virtual Machines: NebiOS X is optimized and designed for real hardware performance and native GPU acceleration. Virtualization platforms (VMware, VirtualBox, GNOME Boxes, etc.) may show degraded...