Search Results for "linux device drivers development"

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...

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...

Moss Kernel is an open-source operating system kernel project designed to explore modern OS design and provide a foundation for experimental system research and development. Rather than replicating traditional monolithic kernels exactly, it emphasizes modularity, safety, and simplicity by incorporating well-structured subsystems for memory management, scheduling, and device abstraction that are easy for contributors to understand and extend. The kernel uses Rust as its primary implementation...

Smithay is a modular toolkit for building Wayland compositors in Rust. Rather than a standalone compositor, it provides building blocks like protocol handlers, session backends, DRM abstractions, and input/output utilities. It supports core and extended Wayland protocols, libseat, tablets, graphics tablets, Xwayland, and more. It's mature and under active development, providing a “smithy” for compositor authors.