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.

... ✅ Compatible with older hardware, perfect for users who can't upgrade to newer versions of Windows. ✅ Currently developing a Software Center specifically for XFCE, built with Python and GTK. ✅ Future support for proprietary drivers to enhance device compatibility. Soplos Linux aims to provide a simple and accessible experience without compromising flexibility, with plans to expand in the future with dedicated repositories and more user-friendly tools. Give Soplos Linux a try and experience a new way to use your PC! 🚀🐧

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

Phantom Linux is a flexible and secure operating system that is themed in the likeness of your favorite environment for a smooth transition to Linux, opening up the door to a ton of free open source software and non to get your everyday tasks done. It has 4 versions: WindowsX, MacX, LinuX, and Feather (x86_64 and i686). Choose your favorite flavor in Files!

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.

Linux kernel patches, device drivers and related userspace applications developed for the Crossbow Imote 2 platform. Also supports the Intel Stargate 2.

Resources for the PePLink MANGA. This device with Linux embedded was marketed by PePLink (typically for Wifi and VoIP) until they withdrew it in early 2006. This project hosts the SDK, Debian image and other resources of interest to owners of this device.