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