ref: 5430950dba838b7c0c46544d772328e23d59918c dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot