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