> in reality the kernel is the same modulo some drivers and one variable ( e.g. > no vga in cpu servers).
It's actually quite easy to make a single binary which can be configured at boot time to be either cpu or terminal, depending on a plan9.ini variable. IIRC it's a few lines of code in each of boot.c and main.c. However I can imagine a scenario in which this would be a security hole.
