Ares

Helios
- Capabilities
  - Null
  - ASID control
  - ASID pool
  - CSpace
  - Device memory
  - Endpoint
  - Memory
  - Notification
  - Reply
  - Task
  - VSpace
  - x86_64
    - I/O Control
    - I/O Port
    - IRQ Control
    - IRQ Handler
    - PD
    - PDPT
    - PT
- System calls
  - writecons
  - yield
  - identify
  - send
  - recv
  - signal
  - wait
  - nbsend
  - nbrecv
  - nbwait
  - call
  - reply
  - poll
  - pollx
- Faults
- IPC
- System initialization
Mercury

Null

Null #

A null capability is stored in an “empty” capability slot and has no associated operations.