ref: 72ad2d1ee12056d480b3da6d5c157ab0ba21a937 dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot