![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| slides/ | 2015-01-03 16:21 | - | |
| papers/ | 2015-12-14 13:38 | - | |
| lecture-l4android.pdf | 2014-12-01 12:15 | 1.1M | |
| lecture-l4.pdf | 2014-12-01 12:15 | 1.4M | |
| lecture-kibbutz.pdf | 2015-01-03 16:19 | 1.7M | |
| lecture-energy-management.pdf | 2014-12-01 12:15 | 1.7M | |
| lecture-13-rfs.pdf | 2014-12-01 12:15 | 2.3M | |
| lecture-12-android-perm.pdf | 2014-12-01 12:15 | 1.3M | |
| lecture-11-pointer-tainting.pdf | 2014-12-01 12:15 | 1.1M | |
| lecture-10-mptcp.pdf | 2014-12-01 12:15 | 113K | |
| lecture-07.pdf | 2014-12-01 12:15 | 1.2M | |
| lecture-07-checkpoint.pdf | 2014-12-01 12:15 | 945K | |
| lecture-06-xen.pdf | 2014-12-01 12:15 | 1.0M | |
| lecture-05-uml.pdf | 2014-12-01 12:15 | 826K | |
| lecture-04-syscall-wrappers.pdf | 2014-12-01 12:15 | 1.2M | |
| lecture-03-rcu.pdf | 2014-12-01 12:15 | 1.2M | |
| lecture-02-futex.pdf | 2014-12-01 12:15 | 1.0M | |
| lecture-01-booting.pdf | 2014-12-01 12:15 | 1.7M | |
| lecture-00-intro.pdf | 2014-12-01 12:15 | 362K | |