Checkpoint/Restore on L4Re

"Stark, Josef" <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]> 
Hello,

I am interested in Checkpoint/Restore-functionality on L4Re.
I found the paper "Stay Strong, Stay Safe – Enhancing Reliability of a Secure Operating System" (http://os.inf.tu-dresden.de/papers_ps/vogtdoebel-IIDS2010.pdf), 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)?

Sincerely,
Josef
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.