KOS

kOS ("chaos") is a light-weight operating system consisting of a kernel written in C and front end written in K. It is currently under development by Arthur Whitney for the purpose of running K applications without the overhead of traditional operating systems.