I don't know if it is a critical issue or not. But, I need to get rid of the question marks in my mind.
I recently purchased a Raspberry Pi 3 board and while I was playing with it, I realized that meminfo shows the physical memory size much less(~880MB) than 1GB (which is specified on the official site).
root@mypi:~# cat /proc/meminfo MemTotal: 882780 kB MemFree: 536068 kB MemAvailable: 712180 kB
The amount of memory available to GPU is 16MB (which is the minimum allowed limit) checked twice on the related raspi-config menu item.
raspi-config -> Advanced Options -> Memory Split
Boot configuration also says that gpu_mem is 16MB.
root@mypi:~# cat /boot/config.txt | grep -i gpu gpu_mem=16
For narrowing the problem space, here is the system info. By the way, system is up-to-date.
root@mypi:~# cat /etc/os-release | grep PRETTY_NAME PRETTY_NAME="Raspbian GNU/Linux 8 (jessie)"
root@mypi:~# uname -a Linux mypi 4.4.23-v7+ #913 SMP Tue Oct 4 14:16:19 BST 2016 armv7l GNU/Linux
Kernel vmsplit configuration:
root@mypi:~# zcat /proc/config.gz | grep CONFIG_VMSPLIT | grep -v ^# CONFIG_VMSPLIT_2G=y
So, I have 2 questions:
- Where is the missing 128MB memory?
- What causes this situation?