Hello,

I am very interested in genode and I am working on tz_vmm demo using i.mx53-qsb board now. After the tz_vmm start,  I find a boot message like this:

To my understanding, it's present that the available memory that the genode os in secure world is 211MB. And After the system boot up, I use Top command to observe the memroy that normal world have which gives me like this:

This shows that the total memory the linux in the normal world can use is less than 150MB. And I have some questions about this:

1. Can this memory size be increased? For example, I want to increase the memory size that genode can use. To my understanding, this memory distribution between two worlds(secure and normal) can be configured. So I wonder whether I can determine 

this memory distribution. If it's indeed configurable,  where I can find the source file to configure this and whether this configuration can be changed dynamically when the system is running. 

2. As far as I know, the i.mx53-qsb have 1GB, but from the situation above, the total memory size is about 400MB which is far less than 1GB. So why can this situation happened?

Thanks,