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