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