The Brittle Kernel

• Introduction
  • What Brittle Is
  • What Brittle Isn’t
• 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
• Kernel Object Reference
  • Context
    • Branding
      • Reply Keys
      • Service Keys
    • Invalidation
    • Methods
      • Read Register (1)
      • Write Register (2)
      • Read Key Register (3)
      • Write Key Register (4)
      • Read MPU Region Register (5)
      • Write MPU Region Register (6)
      • Make Runnable (7)
      • Get Priority (8)
      • Set Priority (9)
      • Read (Low/High) Registers (10/11)
      • Write (Low/High) Registers (12/13)
  • Gate
    • Branding
      • Service Keys
      • Transparent Keys
    • Methods
      • Make Client Key (1)
  • Interrupt
    • Branding
    • Invalidation
    • Methods
      • Set Target (1)
      • Enable (2)
  • Memory
    • Mappable Memory
    • Hierarchy
    • The Device Attribute
    • Branding
    • Invalidation
    • Methods
      • Inspect (1)
      • Change (2)
      • Split (3)
      • Become (4)
      • Peek (5)
      • Poke (6)
      • Make Child (7)
  • Null
    • Message Elision Rule
    • Branding
    • Methods
  • Object Table
    • Branding
    • Methods
      • Mint Key (1)
      • Read Key (2)
      • Get Kind (3)
      • Invalidate (4)
  • Slot
    • Branding
    • Methods
• Case Study: The Serial Demo
  • Tasks
  • Driver Operation
  • Startup
• Case Study: FreeRTOS
  • Introduction
  • About FreeRTOS/Brittle
    • What It Is Not
  • Structure of the Port
    • The Code (High Level)
    • The Approach
      • Contexts Model Execution Priority Levels
      • Messages Model Supervisor Calls
      • Context Switches Multiplex the Task Context
      • The Message Dispatch Loop Multiplexes the Interrupt Context
      • Application Code Runs In Both Contexts
  • Discussion
    • Things Shown
    • Problems Encountered