Here is a list of all related documentation pages:

Filesystem Driver API
Known Issues and Hobby OS Characteristics
Memory Management in miniOS
Networking in miniOS
Scheduler in miniOS
SMP in miniOS
Storage in miniOS
TTY and VT Terminal Stack in miniOS
Userspace in miniOS