I am posting this for a friend of mine who doesn't have access to USENET, so please respond directly to mlevin at jade.tufts.edu. What is vmunix and genvmunix (and the difference between them)? Also, what are the alternatives for the argument to the b/3 (boot) command from the >>> prompt? Mike Levin (mlevin at jade.tufts.edu)