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