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