O Kernel dos Sistemas Operacionais Linux é capaz de adaptar-se aos diversos tipos de Hardware e suas configurações podem ser parametrizadas em tempo de execução, sem prejuízo dos processos em execução ou perda dos parâmetros iniciais. Durante a inicialização desse Kernel, é gerado um diretório temporário onde são armazenadas as informações do Hardware reconhecido, bem como dos parâmetros em uso pelo Kernel.

Assinale a alternativa que apresenta CORRETAMENTE o diretório temporário gerado pelo Kernel do Sistema Operacional Linux para armazenamento dos parâmetros do Kernel: