Arquivos de cabeçalho para kernel Linux
