In the paper titled:

• A Declarative Language Approach to Device Configuration

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.)