Introductory documentation about seL4 microkernel's architecture & concepts with visualizations. - View it on GitHub