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.
1. the principle to determin the static pool size for bootstrap with allocman
n 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?
n 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?
2. How is the staic memory pool created?
Is this memory pool created from untyped memory, so as treated untyped object?
3. the principle to determin the vm.simple_untyped24_pool size and nums
n What’s the usage of the untyped_pool memory?
n How can I make sure a reasonable size and nums of this value ?
Much apprecitated, if you can give some feedbacks.
Tao Heng | Taoer
Basic Software Platform
SAIC Motor Z-ONE Software Company
Auto Innovation Park | 201 Anyan Road, Jiading, Shanghai
This email is for the use of the designated receivers only，and the content is not allowed
to be disclosed due to the confidential information or other reasons. Except for the
Company and the designated receivers of this email, no one shall disclose, disseminate,
distribute, copy, print or use any part of this email or any content contained therein. If
you receive this email by mistake, please notify the Company immediately, and delete the
original email, attachments and all copies from the system. Do not use it.
Network communication may contain computer viruses or other defects, which may not be
delivered to other systems accurately and / or in time, or may be blocked by the Company
or the designated receivers of this email. The Company shall not be liable for such errors
or omissions and for any loss arising from this email.
Any contents contained in this email are only for the purpose of business communication
and reference only. Unless explicitly stated otherwise, the Company shall not assume any
legal responsibility for the accuracy, completeness or fairness of the content contained
in the email.
The designated receivers should pay special attention to the fact that nothing contained
in this email shall constitute an offer, invitation or acceptance by the Company to the
designated receivers of this email and/or its affiliated business entities, and any rights
and obligations are subject to the written documents signed and sealed by both parties.
Except from the written document signed ,sealed and confirmed by the Company, the
receivers and / or its affiliated business entity shall not rely on anything contained in
this email as the formal basis for claiming any rights or interests to the Company.
Show replies by date