Search Results for "virtual device driver"

ChibiOS/RT is a free and efficient RTOS designed for deeply embedded applications. It offers a comprehensive set of kernel primitives and supports many architectures: ARM7, Cortex-M0, Cortex-M3, Cortex-M4, PowerPC e200z, STM8, AVR, MSP430, ColdFire, H8S, x86.

FiwixOS 3 is a Fiwix distribution, an operating system made from a software collection that is based upon the Fiwix kernel. It basically comprises a Fiwix kernel, GNU tools, libraries and additional software. All the included software is free and open-source software made available both as compiled binaries and in source code form, which allows modifications to the original software. FiwixOS 3 uses the Newlib v3.1.0 as its C standard library, and the Ext2 as its primary file...

XeNOS is a portable microkernel operating system written mostly in C++. Its primary goal is to provide a simple, object oriented device driver interface and API.

The aim of this project is to develop a modular operating system for the i386 architecture, where each device driver, file system, etc, will be a module that can be loaded and unloaded at run-time from the system.

mDriver is a utility to migrate binary device driver from Windows to Linux. It takes out the binary instruction and data from Windows driver (*.sys files), and then combine them with some supporting code to build a corresponding Linux driver module.

beetleOS is a small and flexible real time OS for embedded systems with preemptive multitasking. It also provides a lightweight device-driver framework. It is basically programmed for the ARM7 processor architecture but it could be ported to other archit