A more generic way of passing caps to user-space drivers.
[barrelfish] / kernel /
drwxr-xr-x   ..
-rw-r--r-- 13855 Hakefile
drwxr-xr-x - arch
-rw-r--r-- 36608 capabilities.c
-rw-r--r-- 15972 dispatch.c
-rw-r--r-- 13970 gdb_stub.c
drwxr-xr-x - include
-rw-r--r-- 1833 memmove.c
-rw-r--r-- 5061 memset.c
-rw-r--r-- 2442 microbenchmarks.c
-rw-r--r-- 7205 paging_generic.c
-rw-r--r-- 19723 printf.c
-rw-r--r-- 16339 schedule_rbed.c
-rw-r--r-- 3107 schedule_rr.c
-rw-r--r-- 13084 startup.c
-rw-r--r-- 2197 stdlib.c
-rw-r--r-- 3782 string.c
-rw-r--r-- 17099 syscall.c
-rw-r--r-- 1815 timer.c
-rw-r--r-- 715 useraccess.c
-rw-r--r-- 2976 wakeup.c