This seriously serious, click one or all to get free software, free design guidance, free free free!
30 Day to Launch Phone
In the paper titled:
The authors investigate the possibility of separating hardware configuration logic from the mechanism of programming device registers. Since BarrelFish is a messaging passing system, it allows the researchers to investigate the various configurations.
My reading of this paper seems to indicate that “Real-Time” operating systems could definitely benefit from the reliability of the message passing system versus cache memory. (Note: Real-Time is not equal to Real-Fast.)