A more generic way of passing caps to user-space drivers.
[barrelfish] / include /
drwxr-xr-x   ..
-rw-r--r-- 683 Hakefile
drwxr-xr-x - acpi_client
drwxr-xr-x - ahci
drwxr-xr-x - arch
drwxr-xr-x - arpa
drwxr-xr-x - barrelfish
drwxr-xr-x - barrelfish_kpi
drwxr-xr-x - bench
drwxr-xr-x - bfdmuxtools
drwxr-xr-x - bfdmuxvm
drwxr-xr-x - c
drwxr-xr-x - collections
drwxr-xr-x - concurrent
drwxr-xr-x - contmng
-rw-r--r-- 3900 cpiobin.h
drwxr-xr-x - cpuid
drwxr-xr-x - cxx
drwxr-xr-x - deputy
drwxr-xr-x - dist
-rw-r--r-- 1476 dlfcn.h
drwxr-xr-x - dmalloc
drwxr-xr-x - driverkit
drwxr-xr-x - elf
-rw-r--r-- 9444 fcntl.h
drwxr-xr-x - flounder
drwxr-xr-x - getopt
-rw-r--r-- 3578 grp.h
drwxr-xr-x - hashtable
drwxr-xr-x - ipv4
drwxr-xr-x - ipv6
-rw-r--r-- 629 k_r_malloc.h
-rw-r--r-- 210 libgen.h
-rw-r--r-- 4352 limits.h
drwxr-xr-x - lwip
-rw-r--r-- 2675 lwipopts.h
drwxr-xr-x - mackerel
drwxr-xr-x - mdb
drwxr-xr-x - mm
-rw-r--r-- 597 multicast.h
drwxr-xr-x - net_device_manager
drwxr-xr-x - net_queue_manager
-rw-r--r-- 4533 netdb.h
drwxr-xr-x - netif
drwxr-xr-x - netinet
drwxr-xr-x - nfs
-rw-r--r-- 791 nl_types.h
drwxr-xr-x - octopus
drwxr-xr-x - octopus_server
drwxr-xr-x - oldc
-rw-r--r-- 22690 omap44xx_map.h
drwxr-xr-x - openssl
drwxr-xr-x - pager
drwxr-xr-x - pci
drwxr-xr-x - pcre
-rw-r--r-- 490 posixcompat.h
drwxr-xr-x - procon
drwxr-xr-x - rcce
-rw-r--r-- 731 semaphore.h
-rw-r--r-- 5612 signal.h
drwxr-xr-x - skb
drwxr-xr-x - spawndomain
-rw-r--r-- 5462 stdio_file.h
-rw-r--r-- 2286 strings.h
drwxr-xr-x - sys
drwxr-xr-x - target
-rw-r--r-- 3212 termios.h
drwxr-xr-x - thc
-rw-r--r-- 367 time.h
drwxr-xr-x - timer
drwxr-xr-x - trace
drwxr-xr-x - tweed
-rw-r--r-- 9862 unistd.h
drwxr-xr-x - usb
-rw-r--r-- 579 utime.h
-rw-r--r-- 565 values.h
drwxr-xr-x - vfs
-rw-r--r-- 7267 x86emu.h
drwxr-xr-x - x86emu
-rw-r--r-- 9544 zconf.h
-rw-r--r-- 66188 zlib.h