Schemix was "a Scheme system implemented as a patch to the Linux kernel ... for exploration of the Linux kernel and for rapid, interactive prototyping of Linux drivers and other new kernel features"

http://www.abstractnonsense.com/schemix/

But Schemix has been inactive since 2003.