kernel: do not drop RAM caps
[barrelfish] / tools / pleco /
drwxr-xr-x   ..
-rw-r--r-- 562 Hakefile
-rw-r--r-- 4705 Main.lhs
-rw-r--r-- 792 Makefile
-rw-r--r-- 2282 Parser.hs