Where is the code of secure kernel?

[winter2020]

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

Thanks a lot.

[brianmcgillion]

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)