ProjectsStarina: A modern, general-purpose, and microkernel-based operating system.Kerla: A Linux ABI-compatible kernel written in Rust. It supports fork/execve, signals, mmap, pipe, poll, tty/pty, tmpfs, UDP/TCP sockets, and more to run Dropbear SSH server.PublicationsDesign and Implementation of Microkernels: A comprehensive guide that delves into the world of microkernels including real-world m