OP-TEE/optee_os — pull request #159 by jenswi-linaro (2014-12-12 11:59:06+00:00)
Title: Pager 4

Final patches in the pager patch set.

I'd like to test on Juno before we merge since these patches has been rebased a few times. It's tested on QEMU virt and FVP though.

Note that the QEMU bios and ARM-TF need to be updated after "plat-vexpress: linking supports pagable tee.bin", see "New stable commits for the setup cripts".