For manager_waterman, just run busybox
authorAndrew Waterman <waterman@cs.berkeley.edu>
Mon, 7 Jan 2013 03:37:10 +0000 (19:37 -0800)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Mon, 7 Jan 2013 03:37:10 +0000 (19:37 -0800)
commit50d116c9e1f15636a697782522f598aad2a8262a
treea06775645e0a6d86bb12de14ef25c166514a6f70
parent5c2682eee15dc21954d78f8447e5e39fa0d02d94
For manager_waterman, just run busybox
kern/src/manager.c