Hi,
I have a few questions regarding porting OP-TEE to the Xilinx Zynq SoC.
Q1 : Has anyone already successfully ported OP-TEE to the zynq ? if so where can I get the source from ? Q2 : What are the security & performance implications of building OP-TEE without the support for l2c-310/P310 enabled ? Q3 : Does the code for enabling the l2c-310/P310 support supplied for plat-stm work for all ARMv7 SoCs with a l2c-310/P310 if you remove the processor ID check and update the addresses appropriately ?
Regards Andy Bridges
________________________________ Consider the environment before printing this mail.
Thales UK Limited is incorporated in England and Wales with company registration number 00868273. Its registered office is located at 2 Dashwood Lang Road, The Bourne Business Park, Addlestone, Nr. Weybridge, Surrey KT15 2NX.
The information contained in this e-mail is confidential. It may also be privileged. It is intended only for the stated addressee(s) and access to it by any other person is unauthorised. If you are not an addressee or the intended addressee, you must not disclose, copy, circulate or in any other way use or rely on the information contained in this e-mail. Such unauthorised use may be unlawful. If you have received this e-mail in error, please inform us immediately on +44 (0)1844 201800 and delete it and all copies from your system. Commercial matters detailed or referred to in this e-mail are subject to a written contract signed for and on behalf of Thales UK Limited.
Hi,
2016-05-23 18:55 GMT+02:00 Bridges, Andy Andy.Bridges@thales-esecurity.com :
Hi,
I have a few questions regarding porting OP-TEE to the Xilinx Zynq SoC.
Q1 : Has anyone already successfully ported OP-TEE to the zynq ? if so where can I get the source from ?
I am not aware about any attempt to port OP-TEE to zynq.
Thanks, Michal
Hi,
On Mon, May 23, 2016 at 05:55:54PM +0100, Bridges, Andy wrote:
Hi,
I have a few questions regarding porting OP-TEE to the Xilinx Zynq SoC.
Q1 : Has anyone already successfully ported OP-TEE to the zynq ? if so where can I get the source from ?
Not as far as I know.
Q2 : What are the security & performance implications of building OP-TEE without the support for l2c-310/P310 enabled ?
I there's a pl310 in the system and normal world has full control of it, then there's no security from a secure world point of view. The consequences could be limited by mapping secure memory to not use an external cache, but I'm not sure if that's enough and performance will also suffer.
Q3 : Does the code for enabling the l2c-310/P310 support supplied for plat-stm work for all ARMv7 SoCs with a l2c-310/P310 if you remove the processor ID check and update the addresses appropriately ?
Yes, I suppose so, perhaps it will need some minor tweaks. We definitely want the PL310 support to be generic.
Regards, Jens
-
Bridges, Andy -
Jens Wiklander -
Michal Simek