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