the harvey project shares lots of code with akaros, and a name space model too.
They're developing a console which runs in user mode, supports /dev/cons, and has nice stuff like (ta da!) ^C. These various bits write to (ta da!) files in /proc/pid/ctl to control the process, which we have too.
translation: harvey is developing a console that we will be able to use too.
I'm helping guide it and it's coming along.
ron