There is at least one bug in the Movitz compiler, It won't correctly compile a simple loop expression, I spent a fair bit of time trying to fix it. I think it

There is at least one bug in the Movitz compiler, It won't correctly compile a simple loop expression, I spent a fair bit of time trying to fix it. I think it would be fairly easy to make SBCL run as a unikernel. There is also Mezzano [1], it is a Lisp OS. [1] https://github.com/froggey/Mezzano https://github.com/froggey/Mezzano