Checkpoint/Restore on L4Re

Björn Döbel doebel at os.inf.tu-dresden.de
Mon Mar 16 23:21:52 CET 2015


-----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 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

iEYEARECAAYFAlUHV3wACgkQP5ijxgQLUNkMxACdH97dNRLErdia+kYO8v8LWTYL
LQUAoJlwDOOHBOfW2mhrbyQKA/099bmZ
=lfA3
-----END PGP SIGNATURE-----



More information about the l4-hackers mailing list