[Solved] Missing RAM on Raspberry Pi

[mk23b]

Hello.

I own a Raspberry Pi Model B with about 500 MB of RAM. Since I booted it this morning, Arch Linux seems just to use 189 MB of it.
Even reinstalling Arch Linux at all didn't help.

I wondered wether it is a problem with the hardware but other distros like Raspbian don't have that problem.

Output of dmesg can be found here:
http://pastebin.com/Uk7reJeq

$this->bbcode_second_pass_code('', '
total used free shared buffers cached
Mem: 184 65 119 0 6 25
-/+ buffers/cache: 33 151
Swap: 0 0 0')

It just seems that Arch Linux is thinking, I'm using model A.
Thanks for helping me!


UPDATE: Problem was solved by setting gpu_mem_512 to a lower value.

[WarheadsSE]

When did you update the kernel & firmware packages last?

[mk23b]

All my packages are up to date. Thus I'm also using the newest Kernel version:

$this->bbcode_second_pass_code('', 'Linux alarmpi 3.12.20-4-ARCH #1 PREEMPT Tue May 27 19:18:36 MDT 2014 armv6l GNU/Linux')

[kotrfa]

Same problem here - can you describe your solution?

I have this in /boot/config.txt:
$this->bbcode_second_pass_code('', ' gpu_mem_512=316
gpu_mem_256=128
')
what should I change?

EDIT (solution):
I changed these lines just to this (since I use only ssh console):
$this->bbcode_second_pass_code('', 'gpu_mem=16
#gpu_mem_512=316
#gpu_mem_256=128
')