Em que diretório do sistema de arquivos do Linux são encontras as informações que indicam quais recursos de hardware os dispositivos existentes estão usando?