Bartok aims to be efficient enough to be usable for writing operating systems.
Bartok is being used by Microsoft Research for the implementation of Singularity, a highly-dependable operating system written almost entirely in managed code.
[1] Bartok allows various implementations of the garbage collector, base class library and other components to be chosen at runtime on a per-application basis.
This feature is being used to write the different components of Singularity – kernel, device drivers, and applications – each using a separate class library that exposes functionality required by (and optimized for) the specific usage.
This article about software created, produced or developed by Microsoft is a stub.