A modular, capability-based operating system This “book” is a collection of topics describing the Fuchsia operating system. Sections will be populated over time. Magenta Kernel Concepts System Calls / VDSO (libmagenta) Boot Sequence Magenta Core Device Manager & Device Hosts Device Driver Model (DDK) C Library (libc) & POSIX IO (libmxio) Process Start / ELF Loading (liblaunchpad) Framework Core Li