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:
" Genode 18.05 <local changes>
211 MiB RAM and 64535 caps assigned to init "
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:
" Mem: 37956K used, 49444K free, 0K shrd, 68K buff, 26456K cached "
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,
Best wishes
_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users
