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