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