Cabeçalhos e scripts do Linux SGX
