1. 1. Introduction
  2. 2. The Kernel
    1. 2.1. Platforms
    2. 2.2. Efiloader
    3. 2.3. Kernel Objects
    4. 2.4. System calls
    5. 2.5. Debugging the kernel
  3. 3. Syscalls
    1. 3.1. yield
    2. 3.2. early_log
    3. 3.3. get_framebuffer
    4. 3.4. create_memory_object
    5. 3.5. map_memory_object
    6. 3.6. create_channel
    7. 3.7. send_message
    8. 3.8. get_message
    9. 3.9. register_service
    10. 3.10. subscribe_to_service
    11. 3.11. pci_get_info
  4. 4. Userspace
    1. 4.1. Capabilities
    2. 4.2. Memory map (x86_64)
  5. 5. Message Passing
    1. 5.1. Ptah wire format
  6. 6. Journal
    1. 6.1. Building a rustc target for Poplar
    2. 6.2. USB
    3. 6.3. RISC-V

Poplar

The Poplar Kernel

TODO