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