Hi,

please respect the netiquette and avoid cross-posting the same question on 
multiple mailing lists.

On 13.02.2015, at 12:08, cem akpolat <akpolat...@gmail.com> wrote:

> Hi,
> 
> As you know there are many configuration file for arm boards under 
> l4re/mk/platforms folder. When we open one of them, vexpress, it contains the 
> following information:
> 
> PLATFORM_NAME        = "ARM Versatile Express"
> PLATFORM_ARCH        = arm
> PLATFORM_RAM_BASE    = 0x60000000
> PLATFORM_RAM_SIZE_MB = 256
> The interesting part here is the size of the RAM, because you cannot give 
> same size of the RAM when you compile the l4 lua configuration. In case you 
> give l4linux raises "memory cannot reach out of the ..." error. what is the 
> exact reason of that? is there any specific point where the ram size of arm 
> boards are static defined?

Usually ARM platforms only have a fixed amount of RAM installed and no (real) 
dynamic way of determining the amount during startup. In case of the mentioned 
board and Qemu you can increase the amount of RAM “seen” by l4re by overriding 
the RAM_SIZE_MB variable. Then you can start Qemu with ‘-m SIZE’ to have more 
RAM available.

Matthias.


-- 
Matthias Lange, matthias.la...@kernkonzept.com

Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Reply via email to