If anyone's looking for a student friendly version on microkernels and specifically Send/Receive/Reply, take a look at the resources for UWaterloo's CS452 here.

If anyone's looking for a student friendly version on microkernels and specifically Send/Receive/Reply, take a look at the resources for UWaterloo's CS452 here. [1] That course features implementation of microkernels based on QNX from scratch to drive trains around a track, should be straightforward to implement on a Raspberri Pi or a Pandaboard/Beagleboard. The course uses a TS7200 which is an older ARM chip. [1] http://www.cgl.uwaterloo.ca/wmcowan/teaching/cs452/w16/notes/l09.html http://www.cgl.uwaterloo.ca/wmcowan/teaching/cs452/w16/notes...