No more so than writing a kernel in C moves the interesting bits into the compiler. LISP OS's have been made before, and there is no reason one couldn't be writ

No more so than writing a kernel in C moves the interesting bits into the compiler. LISP OS's have been made before, and there is no reason one couldn't be written again that looks UNIX-like. The networking stack, device drivers, bootloader, etc, all need to be written in much the same way they would in a C-written kernel.