In the paper titled:

The "City of Gonads" jellyfish.

 

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