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