OP-TEE/optee_os — pull request #147 by jenswi-linaro (2014-12-05 09:22:42+00:00)
Title: Pager support

Adds optional paging support for plat-vexpress. Since OP-TEE still requires too much memory we're using a fake SRAM (200 KiB) instead of a real SRAM.

It became a bit more commits than expected because I had to bisect a difficult problem. I can squash some of the commits if needed.