1. 1. Introduction
2. 2. The Kernel
3. 1. 2.1. Kernel objects
   2. 2.2. System calls
   3. 2.3. Platforms
   4. 1. 2.3.1. MangoPi MQ-Pro
   5. 2.4. Seed
   6. 2.5. Debugging the kernel
4. 3. Message Passing
5. 4. Userspace
6. 1. 4.1. Capabilities
   2. 4.2. Platform Bus
7. 5. Journal
8. 1. 5.1. Building a rustc target for Poplar
   2. 5.2. USB
   3. 5.3. RISC-V
   4. 5.4. PCI interrupt routing