Bem, isso depende. É possível que getconf
não retorne o valor correto , e é possível que você tenha um 32- bit kernel em hardware de 64 bits. Eu diria, no entanto, que a saída de uname
é o que você deve passar, pois afirma que você está executando um kernel de 64 bits.