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