kernel: do not drop RAM caps
[barrelfish] / doc / 009-notifications /
drwxr-xr-x   ..
-rw-r--r-- 579 Hakefile
-rw-r--r-- 12325 Notify.tex
-rw-r--r-- 1970920 umpnotify.pdf
-rw-r--r-- 1869 umpnotify.svg