ref: d58de3882b91fcc7a43e991a59562b45e7f8950e dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot