OP-TEE/optee_os — pull request #59 by jenswi-linaro (2014-10-09 12:52:09+00:00)
Title: Mmu cleanup

The primary patch is "Optimize mmu handling"

Only tested on QEMU and FVP due to hardware problem.