Qual das opções abaixo representa um diretório que o sistema operacional Linux utiliza para armazenar informações sobre processos e também informações sobre o status e estatísticas geradas pelo kernel?