OP-TEE/optee_os — pull request #45 by jenswi-linaro (2014-09-11 11:40:22+00:00)
Title: vexpress,qemu: Change memory layout

Start QEMU with -m 1057
Use vexpress-v2p-ca15-tc1.dtb from the Linux kernel tree