Eu sei que posso usar o terminal e o comando system-profiler para determinar a atual versão do kernel, mas estou tentando determinar se existe uma maneira de obter essas mesmas informações programaticamente no objetivo-c.

Examinei a gestalt de Carbon, mas não vi nada que me dissesse testemunhar o kernel.

Alguém tem alguma sugestão de como eu poderia fazer isso? Preciso dessas informações para um relatório de depuração que fornece uma captura instantânea do sistema no momento do relatório.

Obrigado!

Atualização: Uma coisa que tentei e um truque que aprendi no mundo do Windows é verificar o tamanho de um int como:

sizeof(int*); //(4 = x86 8 = x64)

mas não acho que seja uma resolução, porque acho que isso só me dará uma idéia do que o programa em si está sendo executado e não do kernel do sistema operacional. Meu entendimento é que, embora o kernel do sistema operacional esteja rodando em 32 bits, seu programa ainda pode rodar em 64 bits.

Eu encontrei outro fórum postando semelhante a este, mas nenhum deles parece ter uma resposta diferente do sistema_profiler.