distributed kernel