kernel: do not drop RAM caps
[barrelfish] / tools / weever /
drwxr-xr-x   ..
-rw-r--r-- 4101 Hakefile
-rw-r--r-- 6892 boot.S
-rw-r--r-- 13732 elf64.c
-rw-r--r-- 1922 lib.c
-rw-r--r-- 1975 linker.lds
-rw-r--r-- 7787 loader.c