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