はじめに

常時接続をしていないRaspberryPiを起動した際、SDカードに書き込んだOSが32bitなのか64bitなのかが、たまにわからなくなる。
コマンドを調べたが、いくつか方法があり一番簡単なコマンドで確認を行う。

getconf LONG_BIT コマンド

これが一番簡単なコマンドとなり、Linuxのbit数を確認できる。

実行結果が、64ならば64bit、32ならば32bitということになる。