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