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