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