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