A segunda linha direciona todos as mensagens do kernel do tipo crit para um host remoto chamado prova. A terceira linha redireciona as mensagens crit para a console, caso o servidor prova não esteja disponível.