Operating system written in Idris.