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