Secure Kernel

The Secure Kernel bears the codename 80010001. The Secure Kernel is loaded after the Secure Loader. The Secure Kernel loads the non-secure Kernel. The Secure Kernel is stored in the Serial Flash.