Como listar/encontrar todos os arquivos de driver compilados durante o make?

Question

Arquivos de driver sendo compilados durante o make. Existe alguma maneira de listar usando os makefiles?