A more generic way of passing caps to user-space drivers.
[barrelfish] / tools /
drwxr-xr-x   ..
-rwxr-xr-x 1542 arm-mkbootcpio.sh
-rwxr-xr-x 2804 arm-mkbootelf.sh
drwxr-xr-x - arm_gem5
drwxr-xr-x - arm_molly
drwxr-xr-x - asmoffsets
-rw-r--r-- 972 debug.arm.gdb
-rw-r--r-- 1527 debug.gdb
-rwxr-xr-x 1655 debug.sh
-rw-r--r-- 545 debugsim.sh
drwxr-xr-x - demo
drwxr-xr-x - dite
drwxr-xr-x - elver
drwxr-xr-x - flounder
drwxr-xr-x - fof
drwxr-xr-x - fugu
-rwxr-xr-x 1155 gen-gdbscript.sh
-rw-r--r-- 306176 grub-qemu.img
drwxr-xr-x - hamlet
drwxr-xr-x - harness
drwxr-xr-x - mackerel
drwxr-xr-x - mkrelease
drwxr-xr-x - molly
drwxr-xr-x - pleco
-rwxr-xr-x 4702 run-pdflatex.sh
drwxr-xr-x - scc
drwxr-xr-x - schedsim
drwxr-xr-x - tracing