High Performance Inter-Kernel Communication And Networking In A Replicated-Kernel Operating System