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