Change 'exit' from RPC to message in if/proc_mgmt.if.
[barrelfish] / hake /
drwxr-xr-x   ..
-rw-r--r-- 7885 ARMv7.hs
-rw-r--r-- 7261 ARMv8.hs
-rw-r--r-- 13118 ArchDefaults.hs
-rw-r--r-- 4780 Args.hs
-rw-r--r-- 14321 Config.hs.template
-rw-r--r-- 4859 HakeTypes.hs
-rw-r--r-- 4827 Hakefile
-rw-r--r-- 8143 K1om.hs
-rw-r--r-- 29970 Main.hs
-rw-r--r-- 52812 RuleDefs.hs
-rw-r--r-- 5778 Tools.hs
-rw-r--r-- 3589 TreeDB.hs
-rw-r--r-- 5992 X86_32.hs
-rw-r--r-- 6275 X86_64.hs
-rw-r--r-- 2376 arm-mpcore-dM.txt
-rw-r--r-- 3924 arm11mpcore-dM.txt
-rw-r--r-- 2378 arm926ej-s-dM.txt
-rw-r--r-- 357 foundation.cfg
-rw-r--r-- 357 fvp.cfg
-rwxr-xr-x 6841 hake.sh
-rw-r--r-- 4046 k1om-dM.txt
-rw-r--r-- 1268 menu.lst.armv7_a15a7ve
-rw-r--r-- 1231 menu.lst.armv7_a15ve_1
-rw-r--r-- 1231 menu.lst.armv7_a15ve_4
-rw-r--r-- 1260 menu.lst.armv7_a15ve_fvp_1
-rw-r--r-- 1260 menu.lst.armv7_a15ve_fvp_4
-rw-r--r-- 1218 menu.lst.armv7_a15ve_gem5
-rw-r--r-- 1472 menu.lst.armv7_a9ve_1
-rw-r--r-- 1472 menu.lst.armv7_a9ve_4
-rw-r--r-- 1169 menu.lst.armv7_omap44xx
-rw-r--r-- 1101 menu.lst.armv7_zynq7
-rw-r--r-- 945 menu.lst.armv8_a57v
-rw-r--r-- 747 menu.lst.armv8_a57v_1
-rw-r--r-- 824 menu.lst.armv8_apm88xxxx
-rw-r--r-- 821 menu.lst.armv8_cn88xx
-rw-r--r-- 980 menu.lst.k1om
-rw-r--r-- 1000 menu.lst.m5
-rw-r--r-- 1170 menu.lst.x86_32
-rw-r--r-- 1443 menu.lst.x86_64
-rw-r--r-- 2119 notes.txt
-rw-r--r-- 3801 x86_32-dM.txt
-rw-r--r-- 4069 x86_64-dM.txt