Membrane: Operating system support for restartable file systems
Recovering device drivers