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