Demystifying the Secure Enclave Processor
Lyj6k4
Lyj6k4
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Kernel (L4)<br />
• Initializes <strong>the</strong> machine state to a point where it<br />
is usable<br />
▫ Initializes <strong>the</strong> kernel page table<br />
▫ Sets up <strong>the</strong> kernel interface page (KIP)<br />
▫ Configures <strong>the</strong> interrupts on <strong>the</strong> hardware<br />
▫ Starts <strong>the</strong> timer<br />
▫ Initializes and starts <strong>the</strong> kernel scheduler<br />
▫ Starts <strong>the</strong> root task<br />
• Provides a small set (~20) of system calls