On 29.01.2018 19:22, Daniel Wang wrote:
Hi Stefan and all,
Thank you for your response. Yes I’m aware of your work for the GSoC 2016. It is an interesting work. I would love to explore the possibility of running seL4 in Secure World, for experiment and also for backward compatibility consideration with existing software stack built for Linux.
I’m pretty new to TrustZone is there any resources that you can point to me. I found the OP-TEE OS project through searching, it seems interesting.
Yes, OP-TEE is a nice project and I have worked with it a lot. The reason we decided for the approach of seL4+containers is more in the flexibility for other use cases. With Trustzone/arm-tf you are pretty much bound to a REE/TEE setup.
Also, I’m not sure which development board actually support TrustZone. Does i.MX 6 SabreLite and Raspberry Pi 3 have the necessary support? How about QEMU, it will be easier to simulate first.
I have worked with another i.MX 6 and RPi3. Both are supported. I made very good experiences with RPi3 with OP-TEE and OpenSuSE. QEMU also works nice. Pretty much comparable to seL4 with respect to the quality, to get the link to that list finally ;) Cheers, Stefan