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