Unikernel IncludeOS OSv Anil Madhavapeddy Vkernel In-kernel web server Collocation (operating systems) Cambridge Computer Lab Ring Rump kernel LynxOS BareMetal Docker, Inc. Single address space operating system Physical computing Exokernel Owl Scientific Computing OCaml Free Pascal Microkernel Cloud computing security Kernel (operating system) Operating system Interrupt handler Raspberry Pi Forensic software engineering Interrupt Command-line interface