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