ref: 99cc56f2e986f7337142d382d699ef09c337074a dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot