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