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