in kernels-mixer/kernels_mixer/config.py [0:0]
def configure_kernels_mixer(c):
"""Helper method for configuring the given Config object to use the GCP kernel gateway."""
configure_gateway_client(c)
c.ServerApp.kernel_spec_manager_class = MixingKernelSpecManager
c.ServerApp.kernel_manager_class = MixingMappingKernelManager
c.ServerApp.session_manager_class = SessionManager
c.ServerApp.kernel_websocket_connection_class = DelegatingWebsocketConnection