Checkpoint/Restore on L4Re
doebel at os.inf.tu-dresden.de
Mon Mar 16 23:21:52 CET 2015
-----BEGIN PGP SIGNED MESSAGE-----
> 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,
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.
Dr.-Ing. Bjoern Doebel Mail: doebel at 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)
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
-----END PGP SIGNATURE-----
More information about the l4-hackers