Is there a system that illustrates all the concepts process, mutual exclusion, cross-compilation, deploying boot image on embedded systems? Yes there is:
Xinu System .
Here is a long awaited Xinu Project.
About
This page records my notes on the class lectures for CSE321.