While portinging Android Guest based on Sel4 Vmm project, I met some problems .In my porting steps, I increased the reserved memory for Android Guest to 2G on my platform. Then there were some parts of Sel4 Vmm project that confused me.
the principle to determin the static pool size for bootstrap with allocman
In bootstrap.h, I found your explanation for the value that it is based on the work with trial and error.Is that still the case?
If I incease this size, the frame_vm0_group_bin showed in vm_minimal.cdl file will obviously increase together.What’s the relationship of the two value?
How is the staic memory pool created?
Is this memory pool created from untyped memory, so as treated untyped object?
the principle to determin the vm.simple_untyped24_pool size and nums
What’s the usage of the untyped_pool memory?
How can I make sure a reasonable size and nums of this value ?
Much apprecitated, if you can give some feedbacks!