70% Savings on Blackfin Processor Development Tools
For a limited time, you can purchase a Blackfin development tools bundle at a 70% savings. The bundle includes VisualDSP++ Development Software for Blackfin and the High Performance USB-based Emulator. Click here for purchasing details.

Virtualization - FREE White Paper Download

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

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  

contest    

Microsoft Dare to Dream Different challenge
Through the Microsoft Dare to Dream Different challenge, we invite you to show us what your dream device is all about and bring it to reality using the .NET Micro Framework. Enter the contest today. If your entry is one of the best you will share in the $50,000 in prizes and numerous other benefits up for grabs. Interested in converting your creation into a commercial product? Win in our professional category and...
preview: http://www.dreamdifferentcontest.com