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