I had never used a real-time kernel. I bought MicroC/OS-II and Embedded Systems building Blocks to get started. The books are very well written. The kernel works great. And in a couple of days I was up and running my first application based on the MicroC/OS-II kernel.
No need to shop for another kernel, no need to shop for other books to explain how a kernel works. This book is the answer to all your questions about "What is a real-time kernel? And how does it work?"
I highly recommend this book to beginners as well as experienced embedded programmers.
