Checkpoint/Restore on L4Re

Björn Döbel doebel at
Mon Mar 16 23:21:52 CET 2015

Hash: SHA1


> 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
TU Dresden, OS Chair        Phone: +49 351 463 38 799
Noethnitzer Str. 46         Fax:   +49 351 463 38 284
01187 Dresden, Germany      WWW:
- --
"When the seagulls follow the trawler, it's because they think
 sardines will be thrown into the sea." (Eric Cantona)
Version: GnuPG v1


More information about the l4-hackers mailing list