Subject:   -42- How can I restart the console?
Date: 07 May 1993 00:00:01 EST

  Use /usr/sbin/startconsole. 'startconsole' and 'winterm' (which
  'startconsole' calls) are scripts, so you can see how they do it.