Hi,
On Wed Apr 08, 2015 at 14:13:47 +0200, Mahdi Aichouch wrote:
Thank you very much for your answer and explanation.
The call to "l4sigma0_map_iomem(sigma0_cap.cap(), Ram_base, Ram_base, ram_size, 1)" failed at the first page that it tries to map.
I activated the debug flags in pkg/sigma0/server/src/globals.h.
And I get the debug messages include in the attached file. But based on the debug messages it is difficult to interpret what might be wrong. Could you please take a look at the logs in the attached file and tell me what do you think.
So now I'm looking at the right spot. You need to limit the memory the system uses. Either edit l4/mk/platforms/imx6.conf, or use RAM_SIZE_MB=xxx when building the image.
L4 Bootstrapper Memory size is 1024MB (10000000 - 4fffffff) RAM: 0000000010000000 - 000000004fffffff: 1048576kB Total RAM: 1024MB
Adam