Lightweight Memory Checkpointing
Dune: safe user-level access to privileged CPU features