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