Applied operating system - an operating system kernel written in the ATS programming language.