1.
Introduction
2.
The Kernel
2.1.
Platforms
2.1.1.
MangoPi MQ-Pro
2.2.
Seed
2.3.
Kernel Objects
2.4.
Debugging the kernel
3.
System calls
3.1.
yield
3.2.
early_log
3.3.
get_framebuffer
3.4.
create_memory_object
3.5.
map_memory_object
3.6.
create_channel
3.7.
send_message
3.8.
get_message
3.9.
register_service
3.10.
subscribe_to_service
3.11.
pci_get_info
4.
Userspace
4.1.
Capabilities
4.2.
Memory map (x86_64)
5.
Message Passing
5.1.
Ptah wire format
6.
Journal
6.1.
Building a rustc target for Poplar
6.2.
USB
6.3.
RISC-V
Light
Rust
Coal
Navy
Ayu
Poplar
The Poplar Kernel
TODO