search

Open-TEE / project

Overall project configuration and documentation
Apache License 2.0
81 stars 35 forks source link

Where is the code of secure kernel? #15

Open winter2020 opened 8 years ago

winter2020 commented 8 years ago

I cannot find the secure kernel code, anyone can tell me the path of kernel core?

Thanks a lot.

brianmcgillion commented 8 years ago

We do not currently have any kernel code; it is all userspace at the moment. The main code for the Open-TEE engine is in the emulator directory. or in this repo (https://github.com/Open-TEE/tee-engine)