1.
Introduction
2.
The Kernel
2.1.
Kernel objects
2.2.
System calls
2.3.
Platforms
2.3.1.
MangoPi MQ-Pro
2.4.
Seed
2.5.
Debugging the kernel
3.
Message Passing
4.
Userspace
4.1.
Capabilities
4.2.
Platform Bus
5.
Journal
5.1.
Building a rustc target for Poplar
5.2.
USB
5.3.
RISC-V
5.4.
PCI interrupt routing
Light
Rust
Coal
Navy
Ayu
Poplar
Journal
This is just a place I put notes that I make during development.