A more generic way of passing caps to user-space drivers.
[barrelfish] / hake /
drwxr-xr-x   ..
-rw-r--r-- 6131 ARM11MP.hs
-rw-r--r-- 6794 ARMv5.hs
-rw-r--r-- 7580 ARMv7.hs
-rw-r--r-- 11796 ArchDefaults.hs
-rw-r--r-- 4323 Args.hs
-rw-r--r-- 8708 Config.hs.template
-rw-r--r-- 3716 HakeTypes.hs
-rw-r--r-- 1472 Hakefile
-rw-r--r-- 18033 Main.hs
-rw-r--r-- 5116 Path.hs
-rw-r--r-- 39563 RuleDefs.hs
-rw-r--r-- 4142 SCC.hs
-rw-r--r-- 5478 X86_32.hs
-rw-r--r-- 5581 X86_64.hs
-rw-r--r-- 6935 XScale.hs
-rw-r--r-- 2376 arm-mpcore-dM.txt
-rw-r--r-- 3924 arm11mpcore-dM.txt
-rw-r--r-- 2378 arm926ej-s-dM.txt
-rwxr-xr-x 4129 hake.sh
-rw-r--r-- 876 menu.lst.arm_gem5
-rw-r--r-- 931 menu.lst.arm_gem5_mc
-rw-r--r-- 912 menu.lst.arm_gem5_panda
-rw-r--r-- 712 menu.lst.armv5
-rw-r--r-- 1000 menu.lst.m5
-rw-r--r-- 723 menu.lst.pandaboard
-rw-r--r-- 1242 menu.lst.scc
-rw-r--r-- 1019 menu.lst.x86_32
-rw-r--r-- 1191 menu.lst.x86_64
-rw-r--r-- 725 menu.lst.xscale
-rw-r--r-- 2135 notes.txt
-rw-r--r-- 15382 symbolic_targets.mk
-rw-r--r-- 3801 x86_32-dM.txt
-rw-r--r-- 4069 x86_64-dM.txt