Operating system for x86-64 based computers, featuring a µkernel and a set of core services.