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