Been reading Massalin's Thesis on Synthesis OS (partially evaluated, dynamically generated kernel code), it's a refreshing and very inspiring read:

http://valerieaurora.org/synthesis/SynthesisOS/