Deputy turned on. YOU NEED TO UPDATE YOUR IVY
authorZach Anderson <zra@fortitude.(none)>
Fri, 27 Feb 2009 20:03:10 +0000 (12:03 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 27 Feb 2009 20:03:10 +0000 (12:03 -0800)
commit2d19cbe7c95048e773098bd1f803da886e98c863
tree71fb1535efbf70b1a36012df628454737045b506
parent671103a834c1d432034b61cabcfd19023e2e64e5
Deputy turned on.  YOU NEED TO UPDATE YOUR IVY

Compiles with --deputy now, with select files ignored with #pramga
nodeputy.  Most files are currently ignored, but this will allow
incremental deputization of the project.
24 files changed:
GNUmakefile
boot/main.c
ivylib/Makefrag [new file with mode: 0644]
ivylib/deputy_kern.c [new file with mode: 0644]
ivylib/deputy_user.c [new file with mode: 0644]
kern/env.c
kern/init.c
kern/kdebug.c
kern/monitor.c
kern/pmap.c
kern/syscall.c
kern/trap.c
lib/Makefrag
lib/printfmt.c
lib/readline.c
lib/string.c
user/Makefrag
user/buggyhello.c
user/evilhello.c
user/faultread.c
user/faultreadkernel.c
user/faultwrite.c
user/faultwritekernel.c
user/testbss.c