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