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
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