Supporting Distributed Fault Tolerance In A Real-Time Micro-Kernel