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