Checkpoint/Restore on L4Re

Stark, Josef j.stark at
Mon Mar 16 21:26:08 CET 2015


I am interested in Checkpoint/Restore-functionality on L4Re.
I found the paper "Stay Strong, Stay Safe – Enhancing Reliability of a Secure Operating System" (, where it is written that such a mechanism was already developed for L4Re. However, I couldn't find such a thing inside the L4Re snapshot.
Could someone tell me what the current state of this is, and where to find it (if it's publicly available)?


More information about the l4-hackers mailing list