-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Hi,
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,
This work was done by Dirk Vogt as part of his Diploma Thesis back in 2009. I have a tarball of his code, which applies to the 2009 version of L4Re. It has not been incorporated into the main branch.
and where to find it (if it's publicly available)?
If Dirk (cc) agrees I can of course send you the tarball. I expect it to be not much worth for you given its ... maturity. ;)
Tobias (other cc) and a student have worked on checkpoint/rollback more recently and might also have something to say about this.
Bjoern - -- Dr.-Ing. Bjoern Doebel Mail: doebel@tudos.org TU Dresden, OS Chair Phone: +49 351 463 38 799 Noethnitzer Str. 46 Fax: +49 351 463 38 284 01187 Dresden, Germany WWW: http://www.tudos.org/~doebel - -- "When the seagulls follow the trawler, it's because they think sardines will be thrown into the sea." (Eric Cantona)