Where is the code of secure kernel?

Question

Where is the code of secure kernel?

Opened this issue 9 years ago · 1 comments

winter2020 commented 9 years ago

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

Thanks a lot.

Answer 1 · 2016-06-28T11:08:24.000Z

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)