Search Results for "device drivers"

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 multiple applications on constrained devices with confidence in memory and fault isolation.

Arm Mbed OS is an open source embedded operating system specifically designed for the Internet of Things. It’s packed with all the features you need to develop your next IoT product based on an Arm Cortex-M microcontroller efficiently, securely and rapidly. These include security foundations, cloud management services, and drivers for sensors and I/O devices.

HelenOS is a portable microkernel-based multiserver operating system written from scratch. It decomposes key operating system functionality such as file systems, networking, device drivers and graphical user interface into a collection of fine-grained user space components that interact with each other via message passing. A failure or crash of one component does not directly harm others. HelenOS is therefore flexible, modular, extensible, fault tolerant and easy to understand. HelenOS does not aim to be a clone of any existing operating system and trades compatibility with legacy APIs for cleaner design. ...

xboot is a lightweight, modular embedded operating system designed for ARM-based microcontrollers and SoCs. It provides a complete runtime environment including a small kernel, device drivers, file systems, networking stack, GUI system, and scripting interface. xboot aims to be both educational and practical, offering a clear and portable codebase that can be adapted to various embedded platforms. Its minimal design and Lua scripting support make it suitable for quick prototyping and custom firmware development.