Re: Re: [9fans] First attempts

[andrey mirtchovski]

Subject: How do I reboot my system?

The system can be rebooted by typing ^T^Tr (two control-T's followed by
'r'). Cpu servers can be rebooted by typing ^P on the console. See the
cons(3) manual for more details.