ref: 1e14429f4782625ed4ea12edfbd2dfc58da1034e dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot