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