Ardence Embedded OEM Development Platform
Ardence, a Citrix Company, has embedded solutions that include RTX, ETS and ReadyOn. RTX is a real-time solution that enhances the control of Windows®, providing greater flexibility and reliability. ETS is the smallest-footprint Win32 real-time operating system in the market, and ReadyOn provides instant-on functionality for Windows® devices.

Embedded OEM Development Platform

paper    

A Jitter-Free Kernel for Hard Real-Time Systems
The paper presents advanced task management techniques featuring Boolean vectors and bitwise vector operations on kernel data structures in the context of the HARTEXTM hard real-time kernel. These techniques have been consistently applied to all aspects of task management and interaction. Hence, the execution time of system functions no longer depends on the number of tasks involved, resulting in predictable, jitter-free kernel...
preview: http://www.seg.mci.sdu.dk   date: 1/1/2004

paper    

Application Specific Real-Time Microkernel in Hardware
This article demonstrates that a hardware based real-time kernel can keep or increase the performance of a monolithic structured real-time operating system, while improving system modularity.
preview: http://www.mrtc.mdh.se  

linux    

LinuxLink by TimeSys®
Get Linux up and running on your board in less time with LinuxLink! LinuxLink enables you to build your own custom Linux software platform through a web-based service that provides continuously updated and processor-optimized code for your embedded device, along with support and advice to help with any issues throughout the development lifecycle.
preview: http://www.timesys.com  

Microsoft Windows Embedded - Try it free!

linux    

L4Linux
L4Linux is a port of Linux to the L4 µ-kernel. L4Linux runs as an L4 server in user-mode, side-by-side with other L4 applications (e.g. real-time components). It is currently running on x86 and ARM and it is binary compatible with the native Linux kernels.
preview: http://www.l4hq.org  

book    

Formal Refinement for Operating System Kernels
The kernel of any operating system is its most critical component. The remainder of the system depends upon a correctly functioning and reliable kernel for its operation. The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. The formal refinement process ensures that the code meets the specification in a...
preview: http://www.amazon.com   date: 7/27/2007

book    

Simple Real-time Operating System: A Kernel Inside View for a Beginner
The first motivation for writing this book is to teach my colleagues about RTOS (Real-Time Operating System) concepts and the proprietary RTOS developed for our project by me. I realized that the same material with some extension can be useful to most embedded engineers who are beginners in learning about RTOS. I came across many embedded engineers who are not comfortable to use real-time operating system. A significant fraction of these...
preview: http://www.amazon.com   date: 8/7/2007

project    

QP Project
Ultra lightweight, event-driven framework and kernel for embedded systems. Enables coding hierarchical state machines (UML statecharts) in C or C++. No big tools. Runs on ARM, 8051, PIC, AVR, MSP430, M16C, HC08, Nios, x86.. Also for Linux, Win32, RTOS...
preview: https://sourceforge.net