> este directorio no lo tengo, aparte del mk tengo que bajarle los > fuentes, desde kernel.org? > > una abrazo > > Fernando no tenés que bajar el paquete completo de fuentes referido a tu distro No sé en Ubuntu/Debian como le llamarón, ni dónde lo guardan.