Mezzano, an operating system written in Common Lisp, is (back?) under active development! https://github.com/froggey/Mezzano