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