A more generic way of passing caps to user-space drivers.
[barrelfish] / if /
drwxr-xr-x   ..
-rw-r--r-- 2185 Hakefile
-rw-r--r-- 1932 acpi.if
-rw-r--r-- 707 ahci_mgmt.if
drwxr-xr-x - arch
-rw-r--r-- 965 ata_rw28.if
-rw-r--r-- 640 bcache.if
-rw-r--r-- 1541 bcast.if
-rw-r--r-- 4670 bench.if
-rw-r--r-- 4545 bfs.if
-rw-r--r-- 532 boot_perfmon.if
-rw-r--r-- 638 bulkbench.if
-rw-r--r-- 559 dist_event.if
-rw-r--r-- 1543 ehci.if
-rw-r--r-- 410 empty.if
-rw-r--r-- 894 fb.if
-rw-r--r-- 1581 glue_bench.if
-rw-r--r-- 464 hpet.if
-rw-r--r-- 800 interdisp.if
-rw-r--r-- 6823 intermon.if
-rw-r--r-- 398 keyboard.if
-rw-r--r-- 699 lock.if
-rw-r--r-- 469 lpc_kbd.if
-rw-r--r-- 971 mem.if
-rw-r--r-- 6941 monitor.if
-rw-r--r-- 2558 monitor_blocking.if
-rw-r--r-- 654 monitor_mem.if
-rw-r--r-- 440 mouse.if
-rw-r--r-- 1442 nameservice.if
-rw-r--r-- 703 net_ARP.if
-rw-r--r-- 1902 net_ports.if
-rw-r--r-- 1303 net_queue_manager.if
-rw-r--r-- 1870 net_soft_filters.if
-rw-r--r-- 5274 octopus.if
-rw-r--r-- 1861 pci.if
-rw-r--r-- 1708 ping_pong.if
-rw-r--r-- 440 pixels.if
drwxr-xr-x - platform
-rw-r--r-- 1093 rcce.if
-rw-r--r-- 780 replay.if
-rw-r--r-- 440 serial.if
-rw-r--r-- 1079 skb.if
-rw-r--r-- 659 skb_map.if
-rw-r--r-- 1473 spawn.if
-rw-r--r-- 498 test.if
-rw-r--r-- 898 timer.if
-rw-r--r-- 2376 trivfs.if
-rw-r--r-- 389 types.if
-rw-r--r-- 361 unixsock.if
-rw-r--r-- 1228 usb_driver.if
-rw-r--r-- 2939 usb_manager.if
-rw-r--r-- 499 xcorecap.if
-rw-r--r-- 512 xcorecapbench.if
-rw-r--r-- 459 xmplcr.if
-rw-r--r-- 453 xmplmsg.if
-rw-r--r-- 427 xmplrpc.if
-rw-r--r-- 517 xmplthc.if