Statistics for Byzantine Fault Tolerance using a Microkernel