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