Arquivos de cabeçalho e scripts para construir módulos para kernel Linux60-rt
