The Synthetix project (sponsored by ARPA, Intel, and HP) is investigating the application of a technique we call incremental specialization, a combination of fine-grain modularity and dynamic code generation, to create operating systems which are both highly modular and high-performance.