Re: Checkpoint/Restore on L4Re
Björn Döbel <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <[email protected]> |
-----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: [email protected] 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) -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iEYEARECAAYFAlUHV3wACgkQP5ijxgQLUNkMxACdH97dNRLErdia+kYO8v8LWTYL LQUAoJlwDOOHBOfW2mhrbyQKA/099bmZ =lfA3 -----END PGP SIGNATURE----- _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers