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