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