OP-TEE/optee_os — pull request #163 by jenswi-linaro (2014-12-17 08:25:52+00:00)
Title: pager documentation

Updates the pager section of the OP-TEE design document with a
description of the pager.

Signed-off-by: Jens Wiklander