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