vcgencmd

Raspberry Pi をサーバー用途で使っていますが、少しでもシステムメモリーを増やしたいと思い、ビデオメモリーの割り当てを減らして、システムメモリーを増やしてみます。