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