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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
