OP-TEE has a pager which can use DDR as backing store to allow usage of more virtual memory than available system RAM. This session will explain what the pager is and how it’s implemented and which limitations it has. We will cover how the binary is partitioned to keep code needed by the pager separated from the rest of the code which is paged. With the pager it’s possible postpone allocation of stacks with the result of getting better performance when less stack is used while still being able to function with degraded performance when more stack is used.


HKG15-307: OP-TEE paging from Linaro