From mboxrd@z Thu Jan  1 00:00:00 1970
From: erik quanstrom <quanstro@quanstro.net>
Date: Sat, 23 Jan 2010 15:35:44 -0500
To: 9fans@9fans.net
Message-ID: <2a3ae233a64250de72890846e0639815@brasstown.quanstro.net>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: [9fans] terminals and /dev/reboot
Topicbox-Message-UUID: c57f0e7e-ead5-11e9-9d60-3106f5b1d025

i had some trouble using /dev/reboot with vesa graphics
enabled.  i have been using this code rather than the standard
/dev/reboot:  http://9fans.net/archive/2009/12/140

i had a brain wave a few weeks ago but i haven't had a
chance to test it until today.  and surprisingly, it works.

	; aux/vga -l text && >/dev/reboot echo reboot /386/9pc

my terminal can reboot from rio to rio in under 3 seconds.

cavet emptor: i've only verified this to work on 1 terminal.
ymmv.

- erik