Free Webinar: Bring Location Awareness to Mobile Devices
Devicescape, a leading provider of Easy WiFi, works with device manufacturers across the globe. One of the company's key goals is to make WiFi easy to access for the end user.

e-clips news alerts by keyword

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 |

emulator    

Arium Emulators are the Core of Intel® Atom Development
Designed by Arium, a member of the Intel Embedded and Communications Alliance, the ECM-XDP3 JTAG Emulator is the Linux OS-Aware Debug Solution for Debugging Intel ® Atom designs. Start a Design Chain-Reaction today with the Arium ECM-XDP3 JTAG Emulator and SourcePoint debug interface.
preview: http://www.arium.com   |

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   |

project    

QP State Machine Frameworks (RTOS)
QP is a family of ultra-light, state machine frameworks for embedded systems. QP enables true event-driven programming with concurrent UML state machines in C or C++ without big tools. Runs on bare metal MCUs or with RTOS.
preview: https://sourceforge.net   |

blog    

NET Microframework Blog
Welcome to the .NET Micro Framework team blog, where we’ll be posting about our experiences, ideas, and activities. Our intent is to provide the latest information about the .NET Micro Framework, to get your unfiltered feedback, to support the development of the community, and to just plain have fun. We spend most of our time working to make the .NET Micro Framework better, and finding time to blog on a regular basis on top of that can be...
preview: http://blogs.msdn.com   |

os    

Agnix Kernel Project
Agnix is an Open-Source project, which has been founded to provide an educational, network operating system kernel. Agnix is an extended kernel, written in pure C code. It is ideal starting point to learn about operating system kernel architecture. In addition Agnix is a very fast and small kernel and I advice for using it in an embedded systems and everywhere where is needed fast, small and stable operating system kernel.
preview: http://agnix.sourceforge.net   |