Kernel Architecture

• Basic Concepts
• Architecture Rules
  • What’s In a Kernel?
    • In Scope
    • Out Of Scope
• Kernel, System, Application
• A Tour of the Kernel Objects
  • Contexts
  • Memory
  • Gates
  • Interrupts
  • The Object Table
• About Keys
  • Key Semantics
  • Parts of a Key
  • Brands
  • Generations and Revocation
• Syscalls
  • Syscall Descriptor Convention
  • Copy Key
  • IPC
    • Message Descriptors
    • Key Maps
    • The Send Phase
    • The Receive Phase
• Boot Process and Initial Environment